Beast code in Giters

Hans's repositories

DaViz is a tool for simulating and visualizing distributed algorithms.

Language:JavaGPL-3.010 20

A port of Coq to Javascript -- Run Coq in your Browser

Language:JavaScriptNOASSERTION000

Formalization of proof system for ABS in the Lean theorem prover

Language:LeanMIT000

Language:Java010

On Separation Logic

Language:CoqGPL-3.0010

Coq formalization of Programmable Branch Prediction

Language:CoqMIT000