LCF and HOL

theorem-prover, higher-order-logic, formal-verification

affine July 12, 2024, 7:31am 1

https://dependenttyp.es/classes/fa2022/readings/2-proofs.html

Home
Categories
Guidelines

Powered by Discourse, best viewed with JavaScript enabled