Some failed attempt to teach computer doing mathematics
Primary LanguageLeanApache License 2.0Apache-2.0