- Stanford University Centaur Group
- https://leni.sh
-
Admin of this website
- Joined on
2023-08-21
e07f9d9b3f
Merge branch 'dev' into tactic/eval
56100a30af
Merge pull request 'feat: Condensed interface' (#85) from serial/expr into dev
e943a4b065
refactor: Assign into its own tactic
0bc7bc5856
refactor: Remove export of Lean functions
caac70f0cf
feat: Move non package outputs to dependencies
56100a30af
Merge pull request 'feat: Condensed interface' (#85) from serial/expr into dev
e943a4b065
refactor: Assign into its own tactic
0bc7bc5856
refactor: Remove export of Lean functions
caac70f0cf
feat: Move non package outputs to dependencies
64269868d5
feat: Expose project and leanPkgs in flake
chore: Update Lean to v4.10.0-rc1
chore: Update Lean to v4.10.0-rc1
2d2ff24017
feat: FFI interface for `evaluate` tactic
7acf1ffdf1
refactor: Move `have` to prograde tactic
58f9d72288
test: Evaluate tactic context
c0124b347f
Merge branch 'serial/expr' into tactic/eval
8e78718447
feat: Extract MetaM context and state from goal