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 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 »

aniva deleted branch chore/version from aniva/Pantograph 2025-01-13 12:29:13 -08:00

aniva pushed to dev at aniva/Pantograph 2025-01-13 12:29:13 -08:00

c1f63af019 chore: Update version to 0.2.25

aniva merged pull request aniva/Pantograph#156 2025-01-13 12:29:12 -08:00

chore: Update version to 0.2.25

aniva deleted branch misc/version from aniva/Pantograph 2025-01-13 12:28:52 -08:00

aniva pushed to dev at aniva/Pantograph 2025-01-13 12:28:52 -08:00

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

5e61282660 test: Source location extraction

9d2a999a4f merge: branch 'dev' into misc/version

Compare 10 commits »

aniva merged pull request aniva/Pantograph#134 2025-01-13 12:28:50 -08:00

chore: Update Lean to v4.15.0

aniva pushed to misc/version at aniva/Pantograph 2025-01-13 12:28:34 -08:00

60e78b322e fix: Test failures

aniva closed issue aniva/Pantograph#127 2025-01-13 11:33:21 -08:00

Drafting tactic in goals

aniva commented on issue aniva/Pantograph#127 2025-01-13 11:33:21 -08:00

Drafting tactic in goals

Done #153