Visualizing Graphical Proofs in Coq

Bhakti Shah
September 2023
PDF Poster
Type
Poster
Publication
International Conference on Functional Programming (ICFP 2023): Student Research Competition Poster