Type level algebraic "proofs" using lens combinators
-
Updated
Jul 26, 2019 - Haskell
#
proofs
Here are 4 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.
haskell
thesis
theorem-proving
proof-assistant
dissertation
proofs
higher-order-logic
natural-deduction
miso
theorem-prover
automated-reasoning
thesis-project
dissertation-project
-
Updated
May 2, 2022 - 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."