2023-02-20 20:26:18 +00:00
|
|
|
# Lean
|
2023-04-22 20:20:37 +00:00
|
|
|
build
|
2023-11-08 01:36:00 +00:00
|
|
|
lakefile.olean
|
2023-04-22 20:20:37 +00:00
|
|
|
lake-packages
|
|
|
|
|
_target
|
|
|
|
|
leanpkg.path
|
2023-12-14 19:49:31 +00:00
|
|
|
.lake/
|
2023-04-08 21:09:11 +00:00
|
|
|
|
|
|
|
|
# TeX
|
|
|
|
|
*.aux
|
|
|
|
|
*.cb
|
|
|
|
|
*.cb2
|
|
|
|
|
*.fdb_latexmk
|
|
|
|
|
*.fls
|
|
|
|
|
*.fmt
|
|
|
|
|
*.fot
|
|
|
|
|
*.lof
|
|
|
|
|
*.log
|
|
|
|
|
*.lot
|
|
|
|
|
*.out
|
|
|
|
|
*.pdf
|
|
|
|
|
*.synctex.gz
|
|
|
|
|
*.toc
|
|
|
|
|
.*.lb
|
2023-12-14 20:33:55 +00:00
|
|
|
|
|
|
|
|
# direnv
|
|
|
|
|
.direnv/
|
|
|
|
|
|
|
|
|
|
# nix
|
|
|
|
|
result
|
