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
Coq course materials with my solutions
-
Updated
Mar 29, 2020 - Coq
-
Updated
Oct 16, 2019 - Lean
-
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
A formal verification of a mathematics/combinatorics paper "On the Erdős-Tuza-Valtr Conjecture"
-
Updated
Jun 17, 2023 - Lean
Solutions to Coq exercises from Formal proof: an Introduction to Type Theory class in 2018/1
-
Updated
Sep 28, 2019 - Coq
Group Theory (Second Sylow Theorem) formalized in Naproche.
-
Updated
Mar 14, 2020 - FreeMarker
ebproof extended
-
Updated
Jan 12, 2024 - TeX
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
-
Updated
Mar 27, 2022 - Isabelle
A style guide for Coq
-
Updated
Nov 30, 2021
A formal proof of the irrationality of sqrt(2) written in lean
-
Updated
Dec 4, 2019 - Lean
CafeOBJ proof of Key Secrecy of PACE with OTS/CafeOBJ.
-
Updated
Apr 1, 2021 - AMPL
A formal specification and verification of Tree Sort algorithm in Coq
-
Updated
Jul 6, 2020 - Coq
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."