solution of a cubic

Stream: general

[Johan Commelin]

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"
https://github.com/leanprover-community/leanprover-community.github.io/blob/newsite/data/100.yaml#L117