- Stanford University Centaur Group
- https://leni.sh
-
Admin of this website
- Joined on
2023-08-21
240ab80383
feat: Moving towards eww bar only
133b8f59fb
fix: Hyprland socket address update
feat: Extraction of tactics from compiler
75df7268c5
test: Simplify testing structure for tactics
92acf7782c
test: CongruenceArg tactic
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
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
e05c01109c
Merge branch 'dev' into doc/readme
e165e41efa
chore: Version bump to v4.8.0-rc1
adbb07af2d
fix: Option setting in REPL