Leni Aniva aniva

0 Followers · 1 Following

• Stanford University Centaur Group
• https://leni.sh

• Admin of this website

• Joined on 2023-08-21

Repositories

22

Projects Packages Public Activity Starred Repositories

2

Loading Heatmap…

aniva pushed to tactic/eval at aniva/Pantograph

• 6ddde2963d test: Eval instantiate

2024-06-27 11:51:29 -07:00

aniva pushed to tactic/eval at aniva/Pantograph

• fc0d872343 refactor: Simplify proof test infrastructure

2024-06-27 11:34:45 -07:00

aniva created pull request aniva/Pantograph#85

feat: Condensed interface

2024-06-26 06:34:27 -07:00

aniva pushed to tactic/eval at aniva/Pantograph

• 2d2ff24017 feat: FFI interface for `evaluate` tactic
• 7acf1ffdf1 refactor: Move `have` to prograde tactic
• 58f9d72288 test: Evaluate tactic context
• c0124b347f Merge branch 'serial/expr' into tactic/eval
• 8e78718447 feat: Extract MetaM context and state from goal
• Compare 12 commits »

2024-06-26 04:53:00 -07:00

aniva opened issue aniva/Pantograph#84

Move towards Expr based interface

2024-06-25 08:13:36 -07:00

aniva created pull request aniva/Pantograph#83

feat: Prograde tactics

2024-06-23 15:03:30 -07:00

aniva created branch tactic/eval in aniva/Pantograph

2024-06-23 15:02:09 -07:00

aniva pushed to tactic/eval at aniva/Pantograph

• 25a7025c25 feat: Evaluation tactic

2024-06-23 15:02:09 -07:00

aniva pushed to dev at aniva/Pantograph

• 472cd54868 Merge pull request 'refactor: Cleanup the congruence tactics' (#81) from tactic/congruence into dev
• fbe6e8fcb3 Merge branch 'dev' into tactic/congruence
• aceee85b05 Merge branch 'env/inspect' into tactic/congruence
• f80d90ce87 fix: Goal diag missing newline character
• b3a60fcea8 refactor: Rename TacticExecute to SyntheticTactic
• Compare 5 commits »

2024-06-23 13:35:38 -07:00

aniva deleted branch tactic/congruence from aniva/Pantograph

2024-06-23 13:35:38 -07:00

aniva merged pull request aniva/Pantograph#81

refactor: Cleanup the congruence tactics

2024-06-23 13:35:36 -07:00

aniva pushed to tactic/congruence at aniva/Pantograph

• fbe6e8fcb3 Merge branch 'dev' into tactic/congruence
• 361e2e8926 Merge pull request 'fix: aux lemmas in env inspect' (#82) from env/inspect into dev
• Compare 2 commits »

2024-06-23 13:35:17 -07:00

aniva closed issue aniva/Pantograph#77

Unclear error message

2024-06-23 13:34:03 -07:00

aniva closed pull request aniva/Pantograph#79

feat: Handling of universe level names in elab

2024-06-23 13:33:55 -07:00

aniva deleted branch env/inspect from aniva/Pantograph

2024-06-23 13:33:38 -07:00

aniva pushed to dev at aniva/Pantograph

• 361e2e8926 Merge pull request 'fix: aux lemmas in env inspect' (#82) from env/inspect into dev
• 8707dbc9bb fix: aux lemmas in env inspect
• Compare 2 commits »

2024-06-23 13:33:37 -07:00

aniva merged pull request aniva/Pantograph#82

fix: aux lemmas in env inspect

2024-06-23 13:33:35 -07:00

aniva pushed to tactic/congruence at aniva/Pantograph

• aceee85b05 Merge branch 'env/inspect' into tactic/congruence
• 8707dbc9bb fix: aux lemmas in env inspect
• Compare 2 commits »

2024-06-16 13:46:23 -07:00

aniva created pull request aniva/Pantograph#82

fix: aux lemmas in env inspect

2024-06-16 13:46:02 -07:00

aniva created branch env/inspect in aniva/Pantograph

2024-06-16 13:45:36 -07:00