Comment on Dungeon Proof Crawler: learn how to write proofs with RPGparentComments−smj-edison2moHave you looked at Metamath Zero[1] before? You mentioned using sorts which is what reminded me of it. Just thought I'd point to some additional interesting work :)[1] https://github.com/digama0/mm0−geckones2moI didn't thanks for sharingIt looks a cool project, definetely related
Comments
Have you looked at Metamath Zero[1] before? You mentioned using sorts which is what reminded me of it. Just thought I'd point to some additional interesting work :)
[1] https://github.com/digama0/mm0
I didn't thanks for sharing
It looks a cool project, definetely related