1,703 followers
Looks nifty. Formalized, effective domain theory in the Coq theorem prover [pdf]: https://t.co/mL3xmeu3Uz https://t.co/xftd0rr5Sr
Looks nifty. Formalized, effective domain theory in the Coq theorem prover [pdf]: https://t.co/mL3xmeu3Uz https://t.co/xftd0rr5Sr