Skip to content

first step to integrate grobner to coqeal - #70

Open
thery wants to merge 2 commits into
rocq-community:masterfrom
thery:grobner
Open

first step to integrate grobner to coqeal#70
thery wants to merge 2 commits into
rocq-community:masterfrom
thery:grobner

moving to already defined lexico

79f604e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs