Brendan Zabarauskas@brendanzabMetamath Zero by Mario Carneiro is looking really promising! It's a super-fast proof checker with implementations in #haskell and #rustlang: - Presentation: http://andrew.cmu.edu/user/avigad/meetings/fomm2020/slides/fomm_carneiro.pdf… - Github repository: https://github.com/digama0/mm0/12:54 AM · Jan 20, 2020·Twitter Web App21 Retweets63 Likes
