Explore projects

documentation for SMGloM project

This repository contains additional classical logic definitions and facts, building on top of the natural deduction theory in mitm

Formalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)

This repository contains libraries that are meant as "general purpose programming" libraries

This repository contains the MMT-translation of the SoftwareFoundations book.

The main (public) parts of the Specware library.

Tom's guided research project

EXPERIMENTAL: Requriements Analysis for a future Foundation for MitM.

a study

Shabbar Raza's code for finding alignments based on matching names.

testing blob encoding

the standard library

Sources included with the FoCaLiZe distribution