hediet / lean-experiments

Code / Commits / a83b41c
update
Henning Dieterichs Henning Dieterichs committed on Mar 15, 2025, 01:07 PM
Showing 1 changed files +21 additions -49 deletions
M ca.lean +21 -49
Browse files at this commit →