GinoGiotto

Pinned Repositories

mm-hammer
A tool for automatically proving Metamath theorems using ATPs
Language:Rust10 4 02
dtt.mm
Metamath database for dependent type theory
0 0 00
metamath-book
Source of metamath book
Language:TeX0 0 00
metamath-exe
Metamath program - source code for the Metamath executable
Language:C0 0 00
metamath-website-seed
Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files
Language:HTML0 0 00
rumm
A tactics-based Metamath proof language
Language:Rust0 0 00
set.mm
Metamath source file for logic and set theory
Language:HTML0 0 00
metamath-exe
Metamath program - source code for the Metamath executable
Language:C83 10 5328
metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Language:Rust32 10 4512
set.mm
Metamath source file for logic and set theory
Language:HTML273 22 39893

GinoGiotto's Repositories

GinoGiotto/dtt.mm
Metamath database for dependent type theory
0 0 00
GinoGiotto/metamath-book
Source of metamath book
Language:TeX0 0 00
GinoGiotto/metamath-exe
Metamath program - source code for the Metamath executable
Language:C0 0 00
GinoGiotto/metamath-website-seed
Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files
Language:HTML0 0 00
GinoGiotto/rumm
A tactics-based Metamath proof language
Language:Rust0 0 00
GinoGiotto/set.mm
Metamath source file for logic and set theory
Language:HTML0 0 00