Cypher1 / tako

An experimental programming language for ergonomic software verification
16Updated last week

Alternatives and similar repositories for tako:

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