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 created branch elab/level in aniva/Pantograph 2024-04-06 17:46:04 -07:00
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-06 17:22:29 -07:00
3db1207aa6 test: Tests for conv and calc
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-06 16:40:32 -07:00
951c2cec19 feat: Bindings for the `have` tactic
ace2ddf478 feat: `GoalState.tryHave` tactic (tests failing)
Compare 2 commits »
aniva created pull request aniva/Pantograph#59 2024-04-06 14:17:48 -07:00
feat: Add support for the have, conv, and calc tactics
aniva created branch goal/have-conv-calc in aniva/Pantograph 2024-04-06 14:17:18 -07:00
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-06 14:17:18 -07:00
aniva pushed to dev at aniva/Pantograph 2024-04-06 14:16:47 -07:00
d44693e548 doc: Documentation for `nix flake check`
fd47711e1f test: Move parallelism to Test/Main.lean
4cbfc45292 test: Parallel testing infrastructure
Compare 3 commits »
aniva deleted branch misc/testing from aniva/Pantograph 2024-04-06 14:16:47 -07:00
aniva merged pull request aniva/Pantograph#58 2024-04-06 14:16:46 -07:00
test: Parallel testing infrastructure
aniva pushed to misc/testing at aniva/Pantograph 2024-04-06 14:16:18 -07:00
d44693e548 doc: Documentation for `nix flake check`
fd47711e1f test: Move parallelism to Test/Main.lean
Compare 2 commits »
aniva created pull request aniva/Pantograph#58 2024-04-06 14:11:20 -07:00
test: Parallel testing infrastructure
aniva created branch misc/testing in aniva/Pantograph 2024-04-06 14:07:38 -07:00
aniva pushed to misc/testing at aniva/Pantograph 2024-04-06 14:07:38 -07:00
4cbfc45292 test: Parallel testing infrastructure
aniva opened issue aniva/Pantograph#57 2024-04-03 18:32:16 -07:00
Add support for have, conv, calc, tactics.
aniva created branch goal/tactic in aniva/Pantograph 2024-04-03 18:27:04 -07:00
aniva pushed to goal/tactic at aniva/Pantograph 2024-04-03 18:27:04 -07:00
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 merged pull request aniva/Pantograph#56 2024-03-31 17:10:30 -07:00
feat: Instantiate mvars during echo
aniva created pull request aniva/Pantograph#56 2024-03-31 17:10:21 -07:00
feat: Instantiate mvars during echo