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 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 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 created branch elab/level in aniva/Pantograph 2024-04-06 17:46:04 -07:00
aniva pushed to elab/level at aniva/Pantograph 2024-04-06 17:46:04 -07:00
d72a60f4e4 fix: Auto bound implicit in elab
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 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 »
aniva created pull request aniva/Pantograph#58 2024-04-06 14:11:20 -07:00
test: Parallel testing infrastructure
aniva pushed to misc/testing at aniva/Pantograph 2024-04-06 14:07:38 -07:00
4cbfc45292 test: Parallel testing infrastructure
aniva created branch misc/testing in aniva/Pantograph 2024-04-06 14:07:38 -07:00
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