Skip to content

Commit d8e5f67

Browse files
jackeownjackeown
committed
updated proof visualization
1 parent d24f710 commit d8e5f67

4 files changed

Lines changed: 308 additions & 41 deletions

File tree

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,3 +3,4 @@ docusaurus-site/static/vampire-runner/vampire.wasm
33
docusaurus-site/node_modules
44
.emcache
55
vampire
6+
.tmp_lua_repl

0 commit comments

Comments
 (0)