Ryan Williams
publications
projects
teaching
talks
posts
cv
Reference
Coq Cheatsheet: Tools and Tactics for Goal Solving
2023-12-19
· Ryan Williams
