tako

Logo

An experimental programming language for ergonomic software verification

View the Project on GitHub Cypher1/tako

Coming soon…

Build Status GitHub issues