Pinned Repositories
client_installation
A deployable PHP package for serving Dropcart products.
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
Paper
DaViz
DaViz is a tool for simulating and visualizing distributed algorithms.
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
lean-abs
Formalization of proof system for ABS in the Lean theorem prover
linkedlist-tutorial
OSL
On Separation Logic
programmable-branch-prediction
Coq formalization of Programmable Branch Prediction
Reowolf
praalhans's Repositories
praalhans/DaViz
DaViz is a tool for simulating and visualizing distributed algorithms.
praalhans/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
praalhans/lean-abs
Formalization of proof system for ABS in the Lean theorem prover
praalhans/linkedlist-tutorial
praalhans/OSL
On Separation Logic
praalhans/programmable-branch-prediction
Coq formalization of Programmable Branch Prediction