PyPI page Home page
Author:
Vincent Gonzalez
Summary:
Measure what a formal library assumes: Rocq, Agda and Isabelle, from source, with nothing built
Latest version:
0.1.0
Downloads last day:
4
Downloads last week:
10
Downloads last month:
28
7-day smoothing