microsoft / AliveInLeanLinks

Formally verified implementation of Alive in Lean
36Updated 2 years ago

Alternatives and similar repositories for AliveInLean

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

Sorting: