visualsource.net

proof-assistant source code visualizations

5 animated visualizations for GitHub repositories tagged proof-assistant.

mzi-lang/mzi-dev source code visualization

mzi-lang/mzi-dev

mzi-lang/mzi-dev source code visualization

mzi-lang/mzi-dev

agda/agda source code visualization

agda/agda

fstarlang/fstar source code visualization

fstarlang/fstar

coq/coq source code visualization

coq/coq

Browse the full gallery