Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / chrisjpm / holbert
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% :tada:
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chrisjpm%2Fholbert
Fork of liamoc/holbert
Stars: 0
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 13.3 MB
Dependencies: pending
Created: over 2 years ago
Updated: 10 months ago
Last pushed: almost 2 years ago
Last synced: 10 months ago
Topics: automated-reasoning, dissertation, dissertation-project, haskell, higher-order-logic, miso, natural-deduction, proof-assistant, proofs, theorem-prover, theorem-proving, thesis, thesis-project