#
miso
Here are 37 public repositories matching this topic...
Matiso - Material components for Miso
-
Updated
Jan 15, 2022 - Haskell
hledger on the web with remoteStorage.
-
Updated
Jul 8, 2020 - Haskell
-
Updated
Mar 31, 2023
Client side for consuming the API Restful created for the Technical Test
-
Updated
Dec 12, 2023 - JavaScript
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
Improve this page
Add a description, image, and links to the miso topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the miso topic, visit your repo's landing page and select "manage topics."