The Nest
Explore
Sign in
ammkrn
second_opinion
test_resources
cycle
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
cycle.mmb
update to 0.2.1
on January 12, 2022
cycleA.mm0
forgot to add recursively
on February 4, 2021
cycleB.mm0
forgot to add recursively
on February 4, 2021