Skip to content

Port Coq code to use 'done' tactic instead of 'easy' and benchmark#129

Draft
ndcroos wants to merge 5 commits into
rocq-community:masterfrom
ndcroos:master
Draft

Port Coq code to use 'done' tactic instead of 'easy' and benchmark#129
ndcroos wants to merge 5 commits into
rocq-community:masterfrom
ndcroos:master

Added changes from 'easy' to 'done'

3366a12
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs