https://jamesrwilcox.com/
University of Washington Seattle, Washington
James Wilcox
Literate coq blog posts
wilcoxjay
A language for symbolic transitions system, inspired by Ivy.
