Popular repositories Loading

1. mm-tactics mm-tactics Public

   Rumm tactics for finding Metamath proofs of propositional logic

   Objective-C++ 1 1

2. set.mm set.mm Public

   Forked from metamath/set.mm

   Metamath source file for logic and set theory

   HTML

3. metamath-exe metamath-exe Public

   Forked from metamath/metamath-exe

   Metamath program - source code for the Metamath executable

   C

4. metamath-book metamath-book Public

   Forked from metamath/metamath-book

   Source of metamath book

   TeX

5. dtt.mm dtt.mm Public

   Forked from digama0/dtt.mm

   Metamath database for dependent type theory

6. rumm rumm Public

   Forked from tirix/rumm

   A tactics-based Metamath proof language

   Rust