Website
Documentation
Community
GitHub
Bug reports
Wiki
Coq
Generalizing coercions to infer typeclass arguments
Developing the Coq system
gares
April 12, 2021, 12:12pm
6
This reminds me of
[1103.3320] Nonuniform Coercions via Unification Hints
show post in topic
Related Topics
Topic
Replies
Views
Activity
How to do simple structural coercion
Using Coq
4
394
May 8, 2023
Trying to get a parameterized inductive type into induction
Using Coq
1
309
April 16, 2023
Class/type hierarchies
Using Coq
7
323
August 28, 2023
How to force computation?
Using Coq
2
518
June 29, 2019
Best way to express that a type is inhabited in a way that allows getting the habitant
Using Coq
1
376
September 13, 2022