Website
Documentation
Community
GitHub
Bug reports
Wiki
Coq
Are there any declarative proof languages for Coq?
Miscellaneous
brando90
August 6, 2020, 3:17pm
2
discussion of Czar, a (currently unsupported) declarative language for Coq:
show post in topic
Related Topics
Topic
Replies
Views
Activity
"Mainstream" programming systems with a Coq-like development style?
Miscellaneous
2
668
January 5, 2021
What does it mean that Isabelle has better automation than Coq?
Miscellaneous
15
3860
March 25, 2021
Notes from the CoqPL 2024 Q/A session
Miscellaneous
meeting
9
357
January 29, 2024
Trakt 1.0 released
Announcements
0
592
February 10, 2022
Proof engineering survey published
Announcements
3
1035
March 17, 2020