hediet / lean-experiments

Code / Commits / 5ea080b
update
Henning Dieterichs Henning Dieterichs committed on Mar 16, 2025, 10:45 PM
Showing 1 changed files +228 additions -126 deletions
M ca.lean +228 -126
Browse files at this commit →