Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Lab
  • https://leni.sh

  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
Repositories
14
 Projects Packages Public Activity Starred Repositories
10
aniva closed issue aniva/Pantograph#204 2025-06-18 21:15:12 -07:00
Pipe data extraction functions to file
aniva commented on issue aniva/Pantograph#204 2025-06-18 21:15:12 -07:00
Pipe data extraction functions to file

Done #208

aniva deleted branch chore/toolchain from aniva/Pantograph 2025-06-18 16:39:21 -07:00
aniva pushed to dev at aniva/Pantograph 2025-06-18 16:39:20 -07:00
9a8b5040f5 Merge pull request 'chore: Update Lean to v4.20.1' (#209) from chore/toolchain into dev
66eb98397b merge: branch 'dev' into chore/toolchain
9645f706d4 chore: Update lean4-nix
b7f0ae435a test: Use `withTempFile` to ensure graceful exit
a8b7f69632 fix(env): Use documentUriFromModule
Compare 7 commits »
aniva merged pull request aniva/Pantograph#209 2025-06-18 16:39:19 -07:00
chore: Update Lean to v4.20.1
aniva pushed to chore/toolchain at aniva/Pantograph 2025-06-18 15:10:30 -07:00
66eb98397b merge: branch 'dev' into chore/toolchain
8fd3649f32 Merge pull request 'chore: Update version to 0.3.2' (#212) from chore/version into dev
04cbc55f3a doc: Update invocations usage
292fb0be4b chore: Update version to 0.3.2
86f69dd08c Merge pull request 'refactor: Use syntax tactic in unit test' (#207) from goal/tactic into dev
Compare 8 commits »
aniva pushed to chore/toolchain at aniva/Pantograph 2025-06-18 14:39:16 -07:00
9645f706d4 chore: Update lean4-nix
aniva pushed to chore/toolchain at aniva/Pantograph 2025-06-18 14:35:39 -07:00
b7f0ae435a test: Use `withTempFile` to ensure graceful exit
aniva pushed to dev at aniva/Pantograph 2025-06-18 14:28:36 -07:00
8fd3649f32 Merge pull request 'chore: Update version to 0.3.2' (#212) from chore/version into dev
04cbc55f3a doc: Update invocations usage
292fb0be4b chore: Update version to 0.3.2
Compare 3 commits »
aniva pushed to chore/version at aniva/Pantograph 2025-06-17 11:56:42 -07:00
04cbc55f3a doc: Update invocations usage
aniva created pull request aniva/Pantograph#212 2025-06-17 11:55:05 -07:00
chore: Update version to 0.3.2
aniva created branch chore/version in aniva/Pantograph 2025-06-17 11:54:53 -07:00
aniva pushed to chore/version at aniva/Pantograph 2025-06-17 11:54:53 -07:00
292fb0be4b chore: Update version to 0.3.2
aniva pushed to repl/test at aniva/Pantograph 2025-06-17 11:52:22 -07:00
ba84456f89 Merge pull request 'feat: Output tactic invocation data to file' (#208) from frontend/tactic-invocation into dev
22716597d3 feat(frontend): Write invocation points to file
Compare 2 commits »
aniva closed issue aniva/Pantograph#206 2025-06-17 11:51:46 -07:00
Execute tactic syntax
aniva commented on issue aniva/Pantograph#206 2025-06-17 11:51:46 -07:00
Execute tactic syntax

Solved partially #207

aniva deleted branch goal/tactic from aniva/Pantograph 2025-06-17 11:51:37 -07:00
aniva merged pull request aniva/Pantograph#207 2025-06-17 11:51:36 -07:00
refactor: Use syntax tactic in unit test
aniva pushed to dev at aniva/Pantograph 2025-06-17 11:51:36 -07:00
86f69dd08c Merge pull request 'refactor: Use syntax tactic in unit test' (#207) from goal/tactic into dev
0bdb41635b refactor: Use syntax tactic in unit test
Compare 2 commits »
aniva deleted branch frontend/tactic-invocation from aniva/Pantograph 2025-06-17 11:42:38 -07:00