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 merged pull request aniva/Pantograph#12 2023-08-28 17:29:28 -07:00
Fix inconsistent sort level printing
aniva pushed to main at aniva/config 2023-08-28 16:18:15 -07:00
82c134a5ba Reoganize README.org
359ab04faa Add fish config
Compare 2 commits »
aniva created branch main in aniva/config 2023-08-28 15:34:25 -07:00
aniva pushed to main at aniva/config 2023-08-28 15:34:25 -07:00
5cfa457ce6 Initial commit
aniva created repository aniva/config 2023-08-28 15:33:55 -07:00
aniva created pull request aniva/Pantograph#12 2023-08-27 22:51:25 -07:00
Fix inconsistent sort level printing
aniva pushed to io/serial at aniva/Pantograph 2023-08-27 22:50:32 -07:00
71327d2d55 Separate max and imax in sort level
dea63ac5ea Merge pull request 'Remove the obsolete name field from proof tree structure' (#11) from misc/cleanup into dev
81702d12ef Remove the obsolete name field from proof tree structure
51edc701fe Add test cases for command error categories
95d26a2f50 Classify JSON error as command error
Compare 6 commits »
aniva pushed to tactic/book at aniva/Pantograph 2023-08-27 19:59:35 -07:00
8d5d7b6e3e Version bump to 0.2.4 due to breaking change
aniva pushed to tactic/book at aniva/Pantograph 2023-08-27 19:58:56 -07:00
80ad7a2bd0 Rename proof commands to goal commands
aniva pushed to tactic/book at aniva/Pantograph 2023-08-27 19:53:23 -07:00
0c5f439067 Add SemihashMap structure for goal bookkeeping
dea63ac5ea Merge pull request 'Remove the obsolete name field from proof tree structure' (#11) from misc/cleanup into dev
81702d12ef Remove the obsolete name field from proof tree structure
Compare 3 commits »
aniva pushed to dev at aniva/Pantograph 2023-08-26 18:50:42 -07:00
dea63ac5ea Merge pull request 'Remove the obsolete name field from proof tree structure' (#11) from misc/cleanup into dev
81702d12ef Remove the obsolete name field from proof tree structure
Compare 2 commits »
aniva merged pull request aniva/Pantograph#11 2023-08-26 18:50:41 -07:00
Remove the obsolete name field from proof tree structure
aniva pushed to misc/cleanup at aniva/Pantograph 2023-08-26 18:50:17 -07:00
81702d12ef Remove the obsolete name field from proof tree structure
51edc701fe Add test cases for command error categories
95d26a2f50 Classify JSON error as command error
5978e5f4f3 Merge pull request 'Add more serialisation options' (#2) from io/serial into dev
7160f8aa61 Merge branch 'dev' into io/serial
Compare 7 commits »
aniva created pull request aniva/Pantograph#11 2023-08-26 18:50:04 -07:00
Remove the obsolete name field from proof tree structure
aniva pushed to misc/cleanup at aniva/Pantograph 2023-08-26 18:49:34 -07:00
84b2ae653e Remove the obsolete name field from proof tree structure
aniva created branch misc/cleanup in aniva/Pantograph 2023-08-26 18:49:34 -07:00
aniva created pull request aniva/Pantograph#10 2023-08-26 18:10:11 -07:00
WIP: Simplify goal bookkeeping mechanism
aniva created branch tactic/book in aniva/Pantograph 2023-08-26 18:09:14 -07:00
aniva pushed to tactic/book at aniva/Pantograph 2023-08-26 18:09:14 -07:00
aniva opened issue aniva/Pantograph#9 2023-08-24 23:20:14 -07:00
Allow the extraction of tactic based proof steps