GitHub - astrainfinita/resultant: Two weeks ago I wrote about some basic resultant theory (maybe in a bad way...) Just upload it.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
src		src
.gitignore		.gitignore
leanpkg.toml		leanpkg.toml

About

Two weeks ago I wrote about some basic resultant theory (maybe in a bad way...) Just upload it.

lean

No releases published