max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/lean/grind
History
euprunin 88078930a9
chore: fix spelling mistakes (#8324) 
Co-authored-by: euprunin <euprunin@users.noreply.github.com>
2025-05-14 06:52:16 +00:00
..
experiments chore: fix spelling mistakes (#8324) 2025-05-14 06:52:16 +00:00
grind_congrArg.lean feat: structure extensionality in grind (#8330) 2025-05-14 02:43:52 +00:00
hashmap_getKey_eq.lean chore: failing test for grind (#8065) 2025-04-28 10:46:19 +00:00
palindrome.lean chore: update grind test (#8329) 2025-05-14 00:36:03 +00:00
qsort_ematch_local_theorem.lean chore: add failing grind tests (#8289) 2025-05-12 06:33:38 +00:00
README.md

README.md

Aspirational test cases for grind

These are not expected to work yet; we're collecting examples that we'd like to make work!