Term

Sep 17, 2024

7455c8a · Sep 17, 2024

Name	Name	Last commit message	Last commit date
parent directory ..
Lambda	Lambda	Adapt to coq/coq#19530 (#53 )	Sep 17, 2024
SimpleType	SimpleType	Adapt to rocq-prover/rocq#18164 (#49 )	Nov 1, 2023
String	String	remove some warnings	Jun 18, 2018
Varyadic	Varyadic	replace omega by lia wherever possible + merge Require commands	Sep 23, 2020
WithArity	WithArity	Adapt to rocq-prover/rocq#18164 (#49 )	Nov 1, 2023

Provide feedback