Skip to content

Makefile updates; doc edits; Rocq 9.1 / MathComp 2.5 compat

08a8374
Select commit
Loading
Failed to load commit list.
Merged

Document, refactor, and fix broken proof #31

Makefile updates; doc edits; Rocq 9.1 / MathComp 2.5 compat
08a8374
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar