All Questions
Tagged with soft-question coq
2
questions
6
votes
4
answers
849
views
Inductive vs. recursive definitions
In Coq there are two ways to define a new type on an inductive type: Using Inductive and using Fixpoint. What are pros and cons ...
12
votes
1
answer
308
views
Naming conventions (letter case, underscores, &c) for Coq
Does Coq have an established convention/style for constructors, variables, terms, &c?
An established convention that isn't exceptionless is totally fine. For example, terms should be lowercase ...