Topic: solution of a cubic
Johan Commelin (Aug 19 2020 at 12:38):
If you've recently started using Lean, and are looking for a small project to test yourself:
you might consider "the solution of a cubic"
Last updated: May 14 2021 at 00:42 UTC