The Nest
Explore
Sign in
ammkrn
second_opinion
test_resources
diamond
0
A verifier for the Metamath Zero proof language.
Code
Changes
Tags
Discussions
CI
main
ammkrn
update to 0.2.1
on January 12, 2022
a.mm0
forgot to add recursively
on February 4, 2021
a.mm1
forgot to add recursively
on February 4, 2021
a.mmb
update to 0.2.1
on January 12, 2022
b.mm0
forgot to add recursively
on February 4, 2021
b.mm1
forgot to add recursively
on February 4, 2021
c.mm0
forgot to add recursively
on February 4, 2021
c.mm1
forgot to add recursively
on February 4, 2021
d.mm0
forgot to add recursively
on February 4, 2021
d.mm1
forgot to add recursively
on February 4, 2021
e.mm0
forgot to add recursively
on February 4, 2021
e.mm1
forgot to add recursively
on February 4, 2021
f.mm0
forgot to add recursively
on February 4, 2021
f.mm1
forgot to add recursively
on February 4, 2021
g.mm0
forgot to add recursively
on February 4, 2021
g.mm1
forgot to add recursively
on February 4, 2021