search

FormalSAT / trestle

Apache License 2.0
18 stars 2 forks source link

bump to lean v4.7.0 #22

Closed digama0 closed 6 months ago