Giters

n-0 / iteratecnextlean

A showcase for lean in formal verification.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

n-0/iteratecnextlean Stargazers