formal-proofs
Here are 59 public repositories matching this topic...
Examples to get some practice on functional programming and formal proofs
-
Updated
Feb 28, 2019 - Agda
Exercises and project for Programming Language Seminar course at ITU
-
Updated
Jun 3, 2018 - Coq
-
Updated
Dec 7, 2020 - Isabelle
Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
-
Updated
Sep 18, 2023 - TeX
Solutions to Coq exercises from Formal proof: an Introduction to Type Theory class in 2018/1
-
Updated
Sep 28, 2019 - Coq
A formal proof of the irrationality of sqrt(2) written in lean
-
Updated
Dec 4, 2019 - Lean
Web-based natural deduction proof assistant
-
Updated
Oct 26, 2020 - JavaScript
A formal specification and verification of Tree Sort algorithm in Coq
-
Updated
Jul 6, 2020 - Coq
Meu site pessoal e blog onde posto coisas que acho interessantes
-
Updated
Apr 22, 2024 - HTML
-
Updated
Nov 10, 2020 - JavaScript
An unusual construction of the real numbers using Isabelle/HOL
-
Updated
Jan 8, 2024 - Isabelle
Second Sylow Theorem in Lean (Fork of ChrisHughes24/Sylow)
-
Updated
Mar 14, 2020 - Lean
Categorical Semantics of Intuitionistic Multiplicative Linear Logic written in Isabelle/HOL
-
Updated
Mar 12, 2023 - Isabelle
Reals defined using Quasi-Morphisms formalized in Lean
-
Updated
Apr 18, 2023 - Lean
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
-
Updated
May 18, 2024 - TeX
Improve this page
Add a description, image, and links to the formal-proofs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-proofs topic, visit your repo's landing page and select "manage topics."