microsoft / AliveInLeanLinks

Formally verified implementation of Alive in Lean
36Updated last year

Alternatives and similar repositories for AliveInLean

Users that are interested in AliveInLean are comparing it to the libraries listed below

Sorting: