Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Group
  • https://leni.sh

  • Admin of this website

  • Joined on 2023-08-21
Repositories
10
 Projects Packages Public Activity Starred Repositories
2
aniva deleted branch env/inspect from aniva/Pantograph 2024-04-11 15:35:16 -07:00
aniva pushed to dev at aniva/Pantograph 2024-04-11 15:35:16 -07:00
e43601de4b feat: Print recursor rules
aniva merged pull request aniva/Pantograph#65 2024-04-11 15:35:15 -07:00
feat: Print precursor rules in env/inspect
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-11 15:13:22 -07:00
db35ec7187 doc: New tactics in README.md
327b402cdf feat: REPL interface for `calc`
Compare 2 commits »
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-11 15:04:45 -07:00
222cb035d1 feat: Add library bindings for calc
663651b10e fix: Remove `calcPrevRhs?` in non-calc tactics
Compare 2 commits »
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-11 15:00:06 -07:00
403d92692e feat: Calc tactic
aniva created pull request aniva/Pantograph#65 2024-04-11 12:39:36 -07:00
feat: Print precursor rules in env/inspect
aniva pushed to env/inspect at aniva/Pantograph 2024-04-09 21:29:24 -07:00
a1599e6016 Merge branch 'dev' into env/inspect
56cfe523df fix: Leading element in .proj sexp
9cc770c3c9 fix: Serialization of .proj
Compare 3 commits »
aniva pushed to env/inspect at aniva/Pantograph 2024-04-09 21:29:09 -07:00
8198fe5424 feat: Print recursor rules
c629163aa1 perf: Lazy run print monads
be44eadde5 Merge pull request 'fix: Auto bound implicit in elab' (#60) from elab/level into dev
d72a60f4e4 fix: Auto bound implicit in elab
d44693e548 doc: Documentation for `nix flake check`
Compare 15 commits »
aniva deleted branch serial/projection from aniva/Pantograph 2024-04-09 21:28:54 -07:00
aniva pushed to dev at aniva/Pantograph 2024-04-09 21:28:54 -07:00
56cfe523df fix: Leading element in .proj sexp
9cc770c3c9 fix: Serialization of .proj
Compare 2 commits »
aniva merged pull request aniva/Pantograph#64 2024-04-09 21:28:53 -07:00
fix: Serialization of projection operators
aniva created pull request aniva/Pantograph#64 2024-04-09 21:19:43 -07:00
fix: Serialization of projection operators
aniva pushed to serial/projection at aniva/Pantograph 2024-04-09 10:07:07 -07:00
56cfe523df fix: Leading element in .proj sexp
aniva created branch serial/projection in aniva/Pantograph 2024-04-09 10:03:56 -07:00
aniva pushed to serial/projection at aniva/Pantograph 2024-04-09 10:03:56 -07:00
9cc770c3c9 fix: Serialization of .proj
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-09 09:11:59 -07:00
100cdd885f fix: Coupling from unrelated goals
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 13:13:07 -07:00
9a04fd4819 feat: Focus command
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 12:54:21 -07:00
dd94e29293 refactor: Monads in library
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-08 12:50:56 -07:00
9fbc65829d feat: FFI interface to conv functions