levnach

MicrosoftRedmond, WA, US

Pinned Repositories

Relax
Language:Python0 1 00
lean3
Lean Theorem Prover
Language:C++2.2k 116 1.1k217
tutorial
Lean Tutorials
Language:TeX44 8 10046
paper_msagljs
paper on msagljs
Language:TeX0 3 00
automatic-graph-layout
A set of tools for graph layout and viewing
Language:C#1.4k 136 265309
msagljs
A JavaScript graph layout engine: port of MSAGL
Language:TypeScript153 10 2416
doc
Documentation
Language:SMT39 7 114
z3
The Z3 Theorem Prover
Language:C++10.5k 182 5.6k1.5k
z3test
Test and benchmark repository for Z3.
Language:SMT25 16 028