Pim Otte's repositories
agda-mode-vscode
agda-mode on VS Code
Language:ReScriptMIT000
angular-truffle-box
Truffle Box for Angular is a quick-and-easy way to get your Dapp on the road with Truffle and Angular
000
crev-proofs-1
Crev proof repository
CC-BY-SA-4.0000
excalidraw
Virtual whiteboard for sketching hand-drawn like diagrams
indy-plenum
Plenum Byzantine Fault Tolerant Protocol
ivyplusplus
Adds a few useful features to ivy, such as creating an eclipse project from your deps.
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
Language:Lean000
theorem_proving_in_lean4
Theorem Proving in Lean 4
Language:JavaScriptApache-2.0000
truffle-core
Core code for Truffle command line tool