ttfp
Writing some implementations for definitions found in Type Theory and Formal Proof.
Some implementations for definitions in "Type Theory and Formal Proof"
Writing some implementations for definitions found in Type Theory and Formal Proof.
Some implementations for definitions in "Type Theory and Formal Proof"
BSD 3-Clause "New" or "Revised" License