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

12

Projects Packages Public Activity Starred Repositories

9

aniva pushed to env/add-decl at aniva/Pantograph 2023-12-26 12:27:03 -08:00

77232d5a1e refactor: Rename Test/{Catalog,Environment}

aniva pushed to env/add-decl at aniva/Pantograph 2023-12-15 10:40:55 -08:00

22789436bd chore: Move environment functions to its own file

aca7dc9811 refactor: env. operations into its own file

Compare 2 commits »

aniva pushed to env/add-decl at aniva/Pantograph 2023-12-15 10:09:53 -08:00

3b83c81540 fix: Force instantiate all mvars in env.add

6c25cca46a test: env.add

Compare 2 commits »

aniva pushed to env/add-decl at aniva/Pantograph 2023-12-14 05:52:28 -08:00

2f3a91562a fix: env_add monads

aniva pushed to env/add-decl at aniva/Pantograph 2023-12-14 05:50:59 -08:00

09f5792d4a Merge branch 'dev' into env/add-decl

4076d8a7dd Merge pull request 'feat: Change the main interaction monad' (#40) from core/loop into dev

ab1b309c72 feat: Use CoreM as the main interaction monad

45beca0bc4 doc: TermElabM metavariable generation

1fb189a38f fix: Consolidate TermElabM blocks

Compare 6 commits »

aniva deleted branch core/loop from aniva/Pantograph 2023-12-14 05:46:42 -08:00

aniva pushed to dev at aniva/Pantograph 2023-12-14 05:46:42 -08:00

4076d8a7dd Merge pull request 'feat: Change the main interaction monad' (#40) from core/loop into dev

ab1b309c72 feat: Use CoreM as the main interaction monad

45beca0bc4 doc: TermElabM metavariable generation

1fb189a38f fix: Consolidate TermElabM blocks

c76751861a fix: Change the main interaction monad to MetaM

Compare 5 commits »

aniva merged pull request aniva/Pantograph#40 2023-12-14 05:46:40 -08:00

feat: Change the main interaction monad

aniva created pull request aniva/Pantograph#41 2023-12-13 19:36:23 -08:00

feat: Add definitions and theorems to the environment

aniva pushed to env/add-decl at aniva/Pantograph 2023-12-13 19:35:44 -08:00

02889510b2 feat: env_add command

aniva created branch env/add-decl in aniva/Pantograph 2023-12-12 18:56:55 -08:00

aniva pushed to env/add-decl at aniva/Pantograph 2023-12-12 18:56:55 -08:00

12544b81ee chore: Rename lib. commands to env.

aniva pushed to core/loop at aniva/Pantograph 2023-12-12 18:39:23 -08:00

ab1b309c72 feat: Use CoreM as the main interaction monad

aniva created pull request aniva/Pantograph#40 2023-12-11 16:22:16 -08:00

feat: Change the main interaction monad

aniva pushed to march/russian at aniva/OpenMusicScores 2023-12-09 21:14:14 -08:00

28498fc18b Farewell of Slavianka: Add Fedotov version lyrics

aniva created branch march/russian in aniva/OpenMusicScores 2023-12-09 21:14:13 -08:00

aniva pushed to core/loop at aniva/Pantograph 2023-12-08 17:32:43 -08:00

45beca0bc4 doc: TermElabM metavariable generation

aniva pushed to core/loop at aniva/Pantograph 2023-12-08 17:32:02 -08:00

1fb189a38f fix: Consolidate TermElabM blocks

aniva pushed to core/loop at aniva/Pantograph 2023-12-08 16:17:56 -08:00

c76751861a fix: Change the main interaction monad to MetaM

aniva created branch core/loop in aniva/Pantograph 2023-12-08 16:17:56 -08:00