.gitignore - avl-verification - Isabelle fork of https://github.com/RaitoBezarius/avl-verification

summary refs log tree commit diff

path: root/.gitignore

blob: a2e9049b5e8c6c9eac2dce0c4d01c536939db4d5 (plain)

/target
/build
/lakefile.olean
/lake-packages/*
.lake
*.llbc
/output
*.thy~