formal-proofs
Here are 59 public repositories matching this topic...
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
Examples to get some practice on functional programming and formal proofs
-
Updated
Feb 28, 2019 - Agda
-
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
Group Theory (Second Sylow Theorem) formalized in Naproche.
-
Updated
Mar 14, 2020 - FreeMarker
Solutions to Coq exercises from Formal proof: an Introduction to Type Theory class in 2018/1
-
Updated
Sep 28, 2019 - Coq
A formal specification and verification of Tree Sort algorithm in Coq
-
Updated
Jul 6, 2020 - Coq
Library for formalizing cryptography proofs in Lean 3 (Deprecated)
-
Updated
Apr 8, 2024 - Lean
Meu site pessoal e blog onde posto coisas que acho interessantes
-
Updated
Jun 6, 2024 - HTML
Formal proofs of some elementary mathematical statements
-
Updated
Nov 21, 2022 - Agda
An exploration of fumulas in Agda—a new perspective on ring theory
-
Updated
Aug 5, 2024 - Agda
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
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."