Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
Winetricks/winetricks
github.com·1d
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·1d
Loading...Loading more...
Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification