HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Formalizing Dawn in Coq | Hacker News Reader
Formalizing Dawn in Coq
danilafe.com
2 points
·
todsacerdoti
·
·
1 comment
Open article
Save
View on HN
holonomically
·
Really nice tutorial on Coq's theorem proving facilities. It even covers Ltac which is rare for these kinds of tutorials.
Reply on news.ycombinator.com