search

stepchowfun / proofs

My personal repository of formally verified mathematics.
Other
291 stars 12 forks source link

Update Coq to v8.18.0 #642

Closed stepchowfun closed 9 months ago

stepchowfun commented 9 months ago

Update Coq to v8.18.0.

Status: Ready

Fixes: N/A