#

qed

Here is 1 public repository matching this topic...

ewdlop / Proof-Assistance-Note

https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?

typescript coq lean qed smt-solver hott humanoid fstar syllogism computer-assisted-proof self-referential terence-tao 4-color-theorem type-theoretic-mathematics water-proof

Updated Feb 23, 2025
Coq

Improve this page

Add a description, image, and links to the qed topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the qed topic, visit your repo's landing page and select "manage topics."