Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Counterfactuals
plato.stanford.edu·8h·
Discuss: Hacker News