Post #4256570

@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