Login
From:
SYSTEMF @ EPFL
(Uncensored)
subscribe
Rewriting modulo SAADD for string diagrams
https://systemf.epfl.ch/blog/rewriting-modulo-saadd/
links
backlinks
Tagged with:
coq
student-projects
Roast topics
Find topics
Find it!
Final project report about string diagram rewriting in Coq for CS-628 Interactive Theorem Proving, Spring 2024
