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
13
 Projects Packages Public Activity Starred Repositories
9
aniva pushed to dev at aniva/Pantograph 2024-04-06 22:04:32 -07:00
be44eadde5 Merge pull request 'fix: Auto bound implicit in elab' (#60) from elab/level into dev
d72a60f4e4 fix: Auto bound implicit in elab
Compare 2 commits »
aniva deleted branch elab/level from aniva/Pantograph 2024-04-06 22:04:32 -07:00
aniva merged pull request aniva/Pantograph#60 2024-04-06 22:04:32 -07:00
fix: Auto bound implicit in elab
aniva opened issue aniva/Pantograph#62 2024-04-06 21:58:49 -07:00
Update README.md
aniva commented on issue aniva/Pantograph#61 2024-04-06 21:55:20 -07:00
Could not reference local context variables

Solved because I didn't use withContext

aniva closed issue aniva/Pantograph#61 2024-04-06 21:55:20 -07:00
Could not reference local context variables
aniva pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-06 21:52:39 -07:00
aa8da3014e feat: The `have` tactic
aniva opened issue aniva/Pantograph#61 2024-04-06 17:52:26 -07:00
Could not reference local context variables
aniva created pull request aniva/Pantograph#60 2024-04-06 17:46:31 -07:00
fix: Auto bound implicit in elab
aniva pushed to elab/level at aniva/Pantograph 2024-04-06 17:46:04 -07:00
d72a60f4e4 fix: Auto bound implicit in elab
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 pushed to goal/have-conv-calc at aniva/Pantograph 2024-04-06 14:17:18 -07:00
aniva created branch goal/have-conv-calc in aniva/Pantograph 2024-04-06 14:17:18 -07:00
aniva deleted branch misc/testing from aniva/Pantograph 2024-04-06 14:16:47 -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 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 »