Giters
siddhartha-gadgil
/
LeanAide
Tools based on AI for helping with Lean 4
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
57
Watchers:
9
Issues:
19
Forks:
2
siddhartha-gadgil/LeanAide Issues
LaTeX converted partially to unicode
Closed
a year ago
Comments count
11
Aesop cleaner running
Closed
a year ago
Comments count
3
Targeted rewrite: conv_rw?
Updated
a year ago
Comments count
8
Speed up search for nearest embeddings
Closed
a year ago
Comments count
1
Introduce terms and lemmas based on context
Closed
a year ago
Prompts for formulas, ellipses, subscripts, idioms, terminology
Updated
a year ago
Comments count
11
Use docstrings from definitions as well as theorems
Closed
a year ago
Comments count
6
Repeat queries if no outputs
Closed
a year ago
Comments count
1
Better Equivalence proving
Closed
a year ago
Comments count
6
Use mathport translations
Closed
a year ago
Comments count
3
Evaluation data
Closed
a year ago
Comments count
3
Improve keyword-based prompting
Closed
a year ago
Comments count
4
Benchmark and optimize steps of translation
Closed
a year ago
Comments count
2
Case transformations for dot notation
Closed
a year ago
Comments count
3
Using codeActions
Closed
a year ago
Comments count
53
Clean up, abstract configuration
Closed
2 years ago
Comments count
7
Lean-chat++
Closed
2 years ago
Comments count
1
Move `yake` to the server
Closed
2 years ago
Rudimentary Proof search step using "first tactic" prompts
Closed
2 years ago
Comments count
4