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 pushed to goal/tactic at aniva/Pantograph 2024-04-03 18:27:04 -07:00
aniva merged pull request aniva/Pantograph#56 2024-03-31 17:10:30 -07:00
feat: Instantiate mvars during echo
aniva pushed to dev at aniva/Pantograph 2024-03-31 17:10:30 -07:00
b1da7f2151 Merge pull request 'feat: Instantiate mvars during echo' (#56) from expr/echo into dev
6f85c262cf feat: Instantiate mvars during echo
Compare 2 commits »
aniva deleted branch expr/echo from aniva/Pantograph 2024-03-31 17:10:30 -07:00
aniva created pull request aniva/Pantograph#56 2024-03-31 17:10:21 -07:00
feat: Instantiate mvars during echo
aniva pushed to expr/echo at aniva/Pantograph 2024-03-31 17:09:55 -07:00
6f85c262cf feat: Instantiate mvars during echo
aniva created branch expr/echo in aniva/Pantograph 2024-03-31 17:09:55 -07:00
aniva merged pull request aniva/Pantograph#55 2024-03-31 16:45:44 -07:00
feat: Specify type in echo
aniva pushed to dev at aniva/Pantograph 2024-03-31 16:45:44 -07:00
2511573a82 Merge pull request 'feat: Specify type in echo' (#55) from expr/echo into dev
2130bcf357 test: Library test
840d2acbd8 docs: Update README.md
7283c5c970 refactor: Use library functions when possible
52d3283b5c refactor: Use library goalStartExpr function
Compare 6 commits »
aniva deleted branch expr/echo from aniva/Pantograph 2024-03-31 16:45:44 -07:00
aniva pushed to env/inspect at aniva/Pantograph 2024-03-31 16:44:07 -07:00
2d422dc532 Merge pull request 'fix: Instantiation causes infinite loop' (#54) from output/expr into dev
6235d61433 fix: unfoldAuxLemma should be coreM
e13b119ed1 fix: Instantiation causes infinite loop
0c260addcf Merge pull request 'feat: Instantiation tests' (#52) from io/serial into dev
90f7f251e9 Merge branch 'dev' into io/serial
Compare 58 commits »
aniva pushed to dev at aniva/Pantograph 2024-03-31 16:43:54 -07:00
2d422dc532 Merge pull request 'fix: Instantiation causes infinite loop' (#54) from output/expr into dev
6235d61433 fix: unfoldAuxLemma should be coreM
e13b119ed1 fix: Instantiation causes infinite loop
Compare 3 commits »
aniva deleted branch output/expr from aniva/Pantograph 2024-03-31 16:43:54 -07:00
aniva merged pull request aniva/Pantograph#54 2024-03-31 16:43:53 -07:00
fix: Instantiation causes infinite loop
aniva pushed to expr/echo at aniva/Pantograph 2024-03-31 16:43:39 -07:00
2130bcf357 test: Library test
aniva pushed to expr/echo at aniva/Pantograph 2024-03-31 16:12:29 -07:00
840d2acbd8 docs: Update README.md
7283c5c970 refactor: Use library functions when possible
Compare 2 commits »
aniva pushed to expr/echo at aniva/Pantograph 2024-03-31 16:06:40 -07:00
52d3283b5c refactor: Use library goalStartExpr function
aniva created pull request aniva/Pantograph#55 2024-03-31 15:56:05 -07:00
feat: Specify type in echo
aniva created branch expr/echo in aniva/Pantograph 2024-03-31 15:55:32 -07:00
aniva pushed to expr/echo at aniva/Pantograph 2024-03-31 15:55:32 -07:00
65ac0d5c58 feat: Specify type in echo