gregtau/teoriprove
Latest release: over 2 years ago - 78 downloads - 218 dependencies
More details on packages.ecosyste.ms - JSON
Versions
1a08713fdf0e4b9abcb0ca1d6eb51b87eca594d3_uncommitted_8b8c411739f8dde3
Published: over 2 years ago Last synced: over 2 years ago
8eb390c6c4c5959d961144aace4db84fbff4c163_uncommitted_5f4a75a247da3fe0
Ubuntu 22.04.2 LTS
Published: almost 3 years ago Last synced: over 2 years ago