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 commented on pull request aniva/Pantograph#161 2025-01-17 22:11:05 -08:00
fix: Panic in exprProjToApp

This is because https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/.E2.9C.94.20Querying.20inductive.20of.20one.20variant/near/494226905

aniva created pull request aniva/Pantograph#161 2025-01-16 10:33:46 -08:00
fix: Panic in exprProjToApp
aniva created branch bug/expr-proj-to-app-panic in aniva/Pantograph 2025-01-16 10:33:05 -08:00
aniva pushed to bug/expr-proj-to-app-panic at aniva/Pantograph 2025-01-16 10:33:05 -08:00
aniva deleted branch tactic/draft from aniva/Pantograph 2025-01-16 10:32:50 -08:00
aniva pushed to dev at aniva/Pantograph 2025-01-16 10:32:50 -08:00
59935e386b Merge pull request 'feat: Draft tactic REPL interface' (#158) from tactic/draft into dev
62363cb943 fix: Over-eager assertion of fvarId validity
9d445783c2 feat: Draft tactic REPL interface
Compare 3 commits »
aniva merged pull request aniva/Pantograph#158 2025-01-16 10:32:48 -08:00
feat: Draft tactic REPL interface
aniva opened issue aniva/Pantograph#160 2025-01-16 08:41:08 -08:00
Projection conversion function panics
aniva pushed to env/module at aniva/Pantograph 2025-01-15 21:23:54 -08:00
bc4bf47c8b feat: Implement repl interfaces
c9f524b9ae feat: Implement `env.describe` and `env.module_read`
Compare 2 commits »
aniva created pull request aniva/Pantograph#159 2025-01-15 21:03:51 -08:00
feat: Module reading functions
aniva created branch env/module in aniva/Pantograph 2025-01-15 21:02:20 -08:00
aniva pushed to env/module at aniva/Pantograph 2025-01-15 21:02:20 -08:00
4f5ffc1ffb feat: Protocol for module access
aniva pushed to io/async at aniva/Pantograph 2025-01-15 20:43:17 -08:00
4123792c0c synced w/ upstream/main (0.2.24)
ac36fd6cd0 added more type hint and options; moved test_server_init_del below test_version
5adbbcae6e Merge pull request #57 from lenianiva/version/0.2.24
39aff1da22 chore: Update version flag
035dd492d1 fix: Missing flags
Compare 10 commits »
aniva created branch io/async in aniva/Pantograph 2025-01-15 20:43:17 -08:00
aniva pushed to tactic/draft at aniva/Pantograph 2025-01-14 13:30:13 -08:00
62363cb943 fix: Over-eager assertion of fvarId validity
aniva created pull request aniva/Pantograph#158 2025-01-13 12:50:58 -08:00
feat: Draft tactic REPL interface
aniva pushed to tactic/draft at aniva/Pantograph 2025-01-13 12:50:40 -08:00
9d445783c2 feat: Draft tactic REPL interface
aniva created branch tactic/draft in aniva/Pantograph 2025-01-13 12:50:40 -08:00
aniva created pull request aniva/Pantograph#157 2025-01-13 12:44:41 -08:00
feat: Pickle constants in goal state
aniva pushed to serial/pickle at aniva/Pantograph 2025-01-13 12:43:50 -08:00
fef7f1e2f3 feat: Pickle constants in goal state
c1f63af019 chore: Update version to 0.2.25
b8b46c4a9c Merge pull request 'chore: Update Lean to v4.15.0' (#134) from misc/version into dev
60e78b322e fix: Test failures
06fdf7e678 chore: Update Lean to v4.15.0
Compare 99 commits »