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 pushed to goal/continuation at aniva/Pantograph 2023-11-07 12:11:22 -08:00
cfd1cfd107 Merge branch 'dev' into goal/continuation
5ac5198f51 fix: Remove the error prone SemihashMap
Compare 2 commits »
aniva deleted branch misc/bookkeeping from aniva/Pantograph 2023-11-07 12:10:27 -08:00
aniva pushed to dev at aniva/Pantograph 2023-11-07 12:10:27 -08:00
5ac5198f51 fix: Remove the error prone SemihashMap
aniva merged pull request aniva/Pantograph#30 2023-11-07 12:10:25 -08:00
fix: Remove the error prone SemihashMap
aniva pushed to goal/continuation at aniva/Pantograph 2023-11-07 12:10:16 -08:00
764be6d14b fix: Remove the error prone SemihashMap
aniva created pull request aniva/Pantograph#30 2023-11-07 12:05:02 -08:00
fix: Remove the error prone SemihashMap
aniva created branch misc/bookkeeping in aniva/Pantograph 2023-11-07 12:04:40 -08:00
aniva pushed to misc/bookkeeping at aniva/Pantograph 2023-11-07 12:04:40 -08:00
5ac5198f51 fix: Remove the error prone SemihashMap
aniva pushed to goal/continuation at aniva/Pantograph 2023-11-06 12:20:18 -08:00
7076669c3d chore: Code formatting
aniva pushed to goal/continuation at aniva/Pantograph 2023-11-06 11:51:44 -08:00
245e76b2f1 feat: Print the root mvar name
aniva pushed to goal/continuation at aniva/Pantograph 2023-11-06 11:45:57 -08:00
7c28cf4ed0 Merge branch 'dev' into goal/continuation
c5f563598d chore: Remove unnecessary unsafe's
Compare 2 commits »
aniva deleted branch misc/cleanup from aniva/Pantograph 2023-11-06 11:45:00 -08:00
aniva pushed to dev at aniva/Pantograph 2023-11-06 11:45:00 -08:00
c5f563598d chore: Remove unnecessary unsafe's
aniva merged pull request aniva/Pantograph#29 2023-11-06 11:44:58 -08:00
chore: Remove unnecessary unsafe's
aniva created pull request aniva/Pantograph#29 2023-11-06 11:44:49 -08:00
chore: Remove unnecessary unsafe's
aniva pushed to misc/cleanup at aniva/Pantograph 2023-11-06 11:44:17 -08:00
c5f563598d chore: Remove unnecessary unsafe's
aniva pushed to misc/cleanup at aniva/Pantograph 2023-11-06 11:39:29 -08:00
f5ed87f740 Merge pull request 'feat: Minor updates to serialization' (#26) from io/serial into dev
8dd994d1ca bug: Fix quote escape problem
d87217c6bb feat: Print metavariable name in goal
796f0d8336 Merge pull request 'feat: Simplify printing of names and expressions' (#25) from io/serial into dev
e5acd4b26c fix: Sanitize name in universe levels
Compare 37 commits »
aniva commented on issue aniva/Pantograph#24 2023-11-06 11:14:46 -08:00
The option on GoalTacticResult.goals? is redundant

I don't think this is a problem. We can repurpose this so that .none means all goals are solved and there are no couplings, while .some [] means all goals are solved but some couplings exist.…

aniva created pull request aniva/Pantograph#28 2023-11-06 11:12:35 -08:00
WIP: Proof tracing from theorem library
aniva pushed to library/trace at aniva/Pantograph 2023-11-06 11:10:36 -08:00