allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-30 17:16:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/.openresearch
History
Exact
allaun ddb0145f54 fix: ColdReviewer + CharPoly — native_decide for dec_trivial removal, ASCII-only comments 
ColdReviewer: dec_trivial removed in Lean 4.30 -> native_decide.
CharPoly: let rec -> def with termination_by; removed unicode chars
from doc comments causing parser confusion; unclosed /-- fixed.

Build: 3301 jobs, 0 errors
2026-07-05 07:22:55 -05:00
..
artifacts fix: ColdReviewer + CharPoly — native_decide for dec_trivial removal, ASCII-only comments 2026-07-05 07:22:55 -05:00