/AliveInLean

Formally verified implementation of Alive in Lean

Primary LanguageLeanOtherNOASSERTION

Stargazers