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
13
 Projects Packages Public Activity Starred Repositories
9
aniva pushed to repl/test at aniva/Pantograph 2025-06-17 11:35:18 -07:00
aniva created branch repl/test in aniva/Pantograph 2025-06-17 11:35:18 -07:00
aniva pushed to chore/toolchain at aniva/Pantograph 2025-06-17 11:11:12 -07:00
a8b7f69632 fix(env): Use documentUriFromModule
aniva pushed to chore/toolchain at aniva/Pantograph 2025-06-17 10:54:24 -07:00
b2b7cc388a chore: Fix most test failures
aniva opened issue aniva/Pantograph#210 2025-06-17 10:30:04 -07:00
Test long-running behaviour of the REPL executable
aniva commented on pull request aniva/Pantograph#209 2025-06-17 08:39:42 -07:00
chore: Update Lean to v4.20.1

Pending works:

  • Update lean4-nix so it supports v4.20.1
  • Fix some unit test failures
  • Test if we can still load external libraries
aniva created pull request aniva/Pantograph#209 2025-06-17 08:39:03 -07:00
chore: Update Lean to v4.20.1
aniva pushed to chore/toolchain at aniva/Pantograph 2025-06-17 08:38:45 -07:00
3ce335ebfe chore: Update Lean to v4.20.1
aniva created branch chore/toolchain in aniva/Pantograph 2025-06-17 08:38:45 -07:00
aniva deleted branch repl/elab-option from aniva/Pantograph 2025-06-17 08:13:55 -07:00
aniva pushed to frontend/tactic-invocation at aniva/Pantograph 2025-06-16 18:10:30 -07:00
22716597d3 feat(frontend): Write invocation points to file
aniva created pull request aniva/Pantograph#208 2025-06-16 14:07:37 -07:00
feat: Output tactic invocation data to file
aniva created pull request aniva/Pantograph#207 2025-06-16 14:06:39 -07:00
refactor: Use syntax tactic in unit test
aniva created branch frontend/tactic-invocation in aniva/Pantograph 2025-06-16 14:05:43 -07:00
aniva pushed to frontend/tactic-invocation at aniva/Pantograph 2025-06-16 14:05:43 -07:00
aniva pushed to goal/tactic at aniva/Pantograph 2025-06-16 14:05:26 -07:00
0bdb41635b refactor: Use syntax tactic in unit test
aniva created branch goal/tactic in aniva/Pantograph 2025-06-16 14:05:26 -07:00
aniva deleted branch chore/cleanup from aniva/Pantograph 2025-06-16 13:57:29 -07:00
aniva pushed to dev at aniva/Pantograph 2025-06-16 13:57:28 -07:00
3d65f6a69e Merge pull request 'chore: Code cleanup' (#202) from chore/cleanup into dev
b7c9867217 Merge branch 'dev' into chore/cleanup
eb41c179d1 feat(repl): Conditional environment inheritance
4bb44dd56a chore: Syntax cleanup in repl
3bb8e75787 chore: Code cleanup
Compare 5 commits »
aniva merged pull request aniva/Pantograph#202 2025-06-16 13:57:27 -07:00
chore: Code cleanup