What are the oldest reasonably large formal developments in interactive theorem provers you can think of?
Conversation
Replying to
There's this neat Github org that collects theorem prover implementations: theoremprover-museum.github.io - not sure if any are useful though with respect to interactive proving. Would also be handy if there was a timeline…