Giters

ahelwer / formal-methods-experiments

Some experiments with formal methods languages & tooling

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

formal-methods-experiments

Some experiments with formal methods languages & tooling

About

Some experiments with formal methods languages & tooling

License:MIT License

Languages

Language:TLA 56.9%Language:Lean 29.6%Language:Python 13.5%