proof-assistant
Here are 165 public repositories matching this topic...
Recopilación de cursos de razonamiento automático.
-
Updated
Jun 24, 2022
insertion sort and bubble sort implementations carrying proofs of correctness
-
Updated
Jun 9, 2022 - Idris
Collaborative repo for Big Proof Programme at the Isaac Newton Institute, Jun 26 to Aug 4, 2017
-
Updated
Jun 7, 2017
-
Updated
Dec 7, 2020 - Isabelle
These are the files used in a talk
-
Updated
Mar 11, 2024 - Lean
Sympy notes from my maths degree. Grand plans.
-
Updated
Nov 19, 2018 - Jupyter Notebook
PoC compiler for the Incredible Proof Machine (http:https://incredible.pm)
-
Updated
Jul 11, 2020 - OCaml
A graphical interactive proof assistant designed for education. My contributions: applying rules by elimination, proofs by induction, proofs by cases, multi-axiom element and misc css styling. Honours report grade: 76% 🎉
-
Updated
Jun 17, 2022 - Haskell
Appunti ed esercizi del corso "Teoria dei tipi" - università degli studi di Padova, corso di laurea in Informatica
-
Updated
Mar 19, 2018 - TeX
Coq Tutorial from Mike Nahas's repo at https://github.com/mdnahas/mdnahas.github.io/doc/nahas_tutorial.v
-
Updated
Jan 15, 2023 - HTML
🎈 Formalized operational and denotational semantics for TESL
-
Updated
Jul 31, 2020 - TeX
Collection of explainatory example proofs for popular proof assistants.
-
Updated
Aug 21, 2018 - Coq
Examples to get some practice on functional programming and formal proofs
-
Updated
Feb 28, 2019 - Agda
Solved exercises of the Arend tutorial (https://arend-lang.github.io/documentation/tutorial)
-
Updated
Jul 9, 2020
Proofs as programs using Athena proof language based on many-sorted FOL
-
Updated
Apr 23, 2022
A small introduction to Isabelle/HOL
-
Updated
Oct 6, 2018 - Isabelle
Some examples of the usage of Agda as proof assistant. Mirror of https://gitlab.com/DPDmancul/agda-examples
-
Updated
Dec 31, 2023 - Agda
Improve this page
Add a description, image, and links to the proof-assistant topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof-assistant topic, visit your repo's landing page and select "manage topics."