Skip to content

Add export to Lean#173

Draft
fblanqui wants to merge 9 commits intoDeducteam:mainfrom
fblanqui:lean
Draft

Add export to Lean#173
fblanqui wants to merge 9 commits intoDeducteam:mainfrom
fblanqui:lean

Commits

Commits on Feb 13, 2025

Commits on Feb 14, 2025