Post #4256567
2026-07-30 12:49 UTC
@mevenlennonbertrand@lipn.info I am thinking about proving the properties of a proof assistant in a proof assistant
Replies (2)
-
@mio@shrimp.mio19.uk 2026-07-30 12:57
@mevenlennonbertrand@lipn.info To formally verify the properties of a proof assistant in such a way, the first step might be to have a proof assistant with verified properties Similar structures www.bootstrappable.org
-
@mevenlennonbertrand@lipn.info 2026-07-30 12:52
@mio@shrimp.mio19.uk Many of us are!