Hacker News new | ask | show | jobs
by marcle 895 days ago
See https://fricas.github.io/, which includes a 990 page book and detailed documentation.