Type level algebraic "proofs" using lens combinators
-
Updated
Jul 26, 2019 - Haskell
#
proofs
Here are 5 public repositories matching this topic...
Lightweight formal verification system developed to support research on usability of automated proof verification tools.
-
Updated
Sep 11, 2017 - Haskell
Homework from Mathematical Logic 2019 course in ITMO University.
-
Updated
Apr 14, 2019 - Haskell
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% 🎉
haskell thesis theorem-proving proof-assistant dissertation proofs higher-order-logic natural-deduction miso theorem-prover automated-reasoning thesis-project dissertation-project
-
Updated
Jun 17, 2022 - Haskell
Functional programming 🖥️ Haskell assignments for Functional Programming module: CSU34016
-
Updated
Jul 28, 2024 - Haskell
Improve this page
Add a description, image, and links to the proofs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proofs topic, visit your repo's landing page and select "manage topics."