- Stanford University Centaur Group
- https://leni.sh
-
Admin of this website
- Joined on
2023-08-21
aniva pushed to goal/mapply at aniva/Pantograph
-
cf1c884c8c Merge branch 'dev' into goal/mapply
-
0aec757601 Merge pull request 'doc: README.md fix' (#73) from doc/readme into dev
-
e05c01109c Merge branch 'dev' into doc/readme
-
e165e41efa chore: Version bump to v4.8.0-rc1
-
7531ad628c doc: Documentation about conditional arguments
- Compare 7 commits »
aniva pushed to goal/mapply at aniva/Pantograph
-
cc74d41b15 feat: Congruence tactics
aniva pushed to goal/mapply at aniva/Pantograph
-
2f951c8fef fix: Decoupling of mvars during instantiation
aniva pushed to dev at aniva/Pantograph
-
0aec757601 Merge pull request 'doc: README.md fix' (#73) from doc/readme into dev
-
e05c01109c Merge branch 'dev' into doc/readme
-
7531ad628c doc: Documentation about conditional arguments
-
52e5b5df50 doc: README.md fix
- Compare 4 commits »
aniva pushed to doc/readme at aniva/Pantograph
-
e05c01109c Merge branch 'dev' into doc/readme
-
e165e41efa chore: Version bump to v4.8.0-rc1
-
adbb07af2d fix: Option setting in REPL
- Compare 3 commits »
aniva deleted branch misc/version from aniva/Pantograph
aniva pushed to dev at aniva/Pantograph
-
e165e41efa chore: Version bump to v4.8.0-rc1
aniva merged pull request aniva/Pantograph#75
chore: Version bump to v4.8.0-rc1
aniva created pull request aniva/Pantograph#75
chore: Version bump to v4.8.0-rc1aniva pushed to misc/version at aniva/Pantograph
-
e165e41efa chore: Version bump to v4.8.0-rc1
aniva pushed to goal/mapply at aniva/Pantograph
-
6ad24b72d4 fix: Nested delayed assignment instantiation
-
cf17428001 fix: Panic in partial instantiation
- Compare 2 commits »
aniva pushed to goal/mapply at aniva/Pantograph
-
5c7bb288b2 feat: Display full free variable list in subst
aniva pushed to goal/mapply at aniva/Pantograph
-
bc09f4a29d refactor: Expr related functions to Expr.lean
aniva pushed to goal/mapply at aniva/Pantograph
-
f813d4a8dd refactor: Delayed mvar instantiation function
aniva commented on pull request aniva/Pantograph#72
feat: Elementarized tactics with motives, congruence, and absurdityI've decided to go with method (3). This requires a new abstraction in the sexp layer. Maybe the sexp should just be removed.
aniva pushed to goal/mapply at aniva/Pantograph
-
c04b363de7 feat: Handle delay assigned mvars
-
03ecb6cf19 feat: Partial instantiate metavariables
- Compare 2 commits »
aniva commented on pull request aniva/Pantograph#72
feat: Elementarized tactics with motives, congruence, and absurdityThere are currently 3 solutions to this issue: 1. Add value dependency to the current handling of traces 2. Use a partial delaboration function like above 3. When producing sexp, use a similar…
aniva pushed to linux-sway at aniva/config
-
46f3f1fffe fix: Screenshot and transparency
-
301b57ec06 Initial commit
- Compare 2 commits »