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 dev at aniva/Pantograph 2024-10-21 10:14:40 -07:00
8fe4c78c2a doc: Change license to Apache2
aniva created pull request aniva/Pantograph#116 2024-10-21 10:12:10 -07:00
doc: Change license to Apache2
aniva pushed to misc/license at aniva/Pantograph 2024-10-21 09:59:26 -07:00
8fe4c78c2a doc: Change license to Apache2
aniva created branch misc/license in aniva/Pantograph 2024-10-21 09:59:26 -07:00
aniva created pull request aniva/Pantograph#115 2024-10-14 21:30:48 -07:00
chore: Update Lean4 upstream to unofficial flake
aniva created branch misc/build in aniva/Pantograph 2024-10-14 21:17:16 -07:00
aniva pushed to misc/build at aniva/Pantograph 2024-10-14 21:17:16 -07:00
d23f99fd44 feat: Update Lean4 upstream to unofficial flake
aniva opened issue aniva/Pantograph#114 2024-10-13 17:50:45 -07:00
Incremental and intercepted parsing of Lean code
aniva pushed tag v0.2.19 to aniva/Pantograph 2024-10-13 12:21:45 -07:00
aniva deleted branch frontend/environment from aniva/Pantograph 2024-10-12 16:59:43 -07:00
aniva pushed to dev at aniva/Pantograph 2024-10-12 16:59:43 -07:00
a11127a64e Merge pull request 'feat: Capture environment in drafting' (#113) from frontend/environment into dev
72e41e1e1e Merge branch 'dev' into frontend/environment
946e688dec test(frontend): Environment capture
5a2ae880f4 feat: Capture environment in drafting
Compare 4 commits »
aniva merged pull request aniva/Pantograph#113 2024-10-12 16:59:41 -07:00
feat: Capture environment in drafting
aniva closed issue aniva/Pantograph#112 2024-10-12 16:59:33 -07:00
feat: Enable environment capture during frontend.process
aniva commented on issue aniva/Pantograph#112 2024-10-12 16:59:33 -07:00
feat: Enable environment capture during frontend.process

Done #113

aniva pushed to frontend/environment at aniva/Pantograph 2024-10-12 16:58:06 -07:00
72e41e1e1e Merge branch 'dev' into frontend/environment
5b278d68d4 Merge pull request 'feat: Let tactic in REPL' (#111) from repl/tactic-let into dev
645d9c9250 feat: Let tactic in REPL
Compare 3 commits »
aniva commented on pull request aniva/Pantograph#113 2024-10-12 16:55:45 -07:00
feat: Capture environment in drafting

In the future we could change sorrysToGoalState to take a Environment argument, but this looks fine.

aniva pushed to dev at aniva/Pantograph 2024-10-12 16:54:15 -07:00
5b278d68d4 Merge pull request 'feat: Let tactic in REPL' (#111) from repl/tactic-let into dev
645d9c9250 feat: Let tactic in REPL
Compare 2 commits »
aniva deleted branch repl/tactic-let from aniva/Pantograph 2024-10-12 16:54:15 -07:00
aniva merged pull request aniva/Pantograph#111 2024-10-12 16:54:13 -07:00
feat: Let tactic in REPL
aniva commented on pull request aniva/Pantograph#111 2024-10-12 16:54:06 -07:00
feat: Let tactic in REPL

Testing seems fine. Approved.