Skip to content

Port to derive.param2 of Coq-Elpi

44e0999
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Port to derive.param2 of Coq-Elpi #30

Port to derive.param2 of Coq-Elpi
44e0999
Select commit
Loading
Failed to load commit list.