Pinned Repositories
dispatch
Intermediary tool for publishing, retrieval, and trust analysis in the Distributed Assertion Management Framework (DAMF)
abella
An interactive theorem prover based on lambda-tree syntax
abella-examples
abella-prover.org
The web-site for Abella
advent-of-code-cpp
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
dispatch
Intermediary tool for publishing, retrieval, and trust analysis in the Distributed Assertion Management Framework (DAMF)
dispatch-web
distributed-assertions.github.io
Main website
w3proof-dispatch
Starting exploratory tool within the W3Proof Exploratory Action.
innofarah's Repositories
innofarah/w3proof-dispatch
Starting exploratory tool within the W3Proof Exploratory Action.
innofarah/abella
An interactive theorem prover based on lambda-tree syntax
innofarah/abella-examples
innofarah/abella-prover.org
The web-site for Abella
innofarah/advent-of-code-cpp
innofarah/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
innofarah/dispatch
Intermediary tool for publishing, retrieval, and trust analysis in the Distributed Assertion Management Framework (DAMF)
innofarah/dispatch-web
innofarah/distributed-assertions.github.io
Main website
innofarah/europroofnet.github.io
Sources of the EuroProofNet web site.
innofarah/helia-examples
How to do most anything with your Helia node
innofarah/ipfs-basic
innofarah/lean-web-editor
Lean 3 web editor
innofarah/lean4web
The Lean 4 web editor
innofarah/Othello
Othello Game
innofarah/software-foundations
Software Foundations in Idris