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 goal/diag at aniva/Pantograph 2024-01-16 16:45:08 -08:00
efa956464d test: Option controlled mvar instantiation
aniva closed issue aniva/Pantograph#24 2024-01-16 14:20:31 -08:00
The option on GoalTacticResult.goals? is redundant
aniva pushed to env/inspect at aniva/Pantograph 2024-01-16 14:12:05 -08:00
93a34f9fda feat: Print constructor and recursor info
aniva created pull request aniva/Pantograph#43 2024-01-16 13:34:00 -08:00
feat: Print inductives, constructors, and recursors in env.inspect
aniva created branch env/inspect in aniva/Pantograph 2024-01-16 13:29:47 -08:00
aniva pushed to env/inspect at aniva/Pantograph 2024-01-16 13:29:47 -08:00
a1421439f8 feat: Print inductives in env.inspect
aniva closed issue aniva/Pantograph#34 2024-01-08 12:24:00 -08:00
Print structures
aniva commented on issue aniva/Pantograph#34 2024-01-08 12:24:00 -08:00
Print structures

Solved #35

aniva pushed tag v0.2.10 to aniva/Pantograph 2024-01-08 12:23:14 -08:00
aniva deleted branch io/serial from aniva/Pantograph 2024-01-08 12:21:47 -08:00
aniva pushed to dev at aniva/Pantograph 2024-01-08 12:21:47 -08:00
b29f7cb180 test: Simplify monad execution
aniva merged pull request aniva/Pantograph#42 2024-01-08 12:21:45 -08:00
test: Deserialization
aniva created pull request aniva/Pantograph#42 2024-01-07 14:20:57 -08:00
test: Deserialization
aniva created branch io/serial in aniva/Pantograph 2024-01-07 14:14:45 -08:00
aniva pushed to io/serial at aniva/Pantograph 2024-01-07 14:14:45 -08:00
b29f7cb180 test: Simplify monad execution
aniva closed issue aniva/Pantograph#1 2023-12-26 12:46:33 -08:00
Allow adding definitions to environments
aniva commented on issue aniva/Pantograph#1 2023-12-26 12:46:33 -08:00
Allow adding definitions to environments

#41 solved

aniva closed issue aniva/Pantograph#39 2023-12-26 12:46:14 -08:00
The main interaction monad should be MetaM and not TermElabM
aniva commented on issue aniva/Pantograph#39 2023-12-26 12:46:14 -08:00
The main interaction monad should be MetaM and not TermElabM

Fixed

aniva pushed to dev at aniva/Pantograph 2023-12-26 12:41:03 -08:00
6e39b5ef8b Merge pull request 'feat: Add definitions and theorems to the environment' (#41) from env/add-decl into dev
77232d5a1e refactor: Rename Test/{Catalog,Environment}
22789436bd chore: Move environment functions to its own file
aca7dc9811 refactor: env. operations into its own file
3b83c81540 fix: Force instantiate all mvars in env.add
Compare 10 commits »