RosettaCodeData/Lang/Lean/00-META.yaml
2023-07-01 11:58:00 -04:00

2 lines
52 B
YAML

---
from: http://rosettacode.org/wiki/Category:Lean