The Nest
Explore
Sign in
finegeometer
Ideas
0
Code
Changes
Tags
Discussions
main
finegeometer
Write about non-euclidean geometry.
on February 11, 2022
dist
Planning to write about rendering in 4D or non-Euclidean spaces.
on January 11, 2022
src
atari-proofs project now exists
on January 31, 2022
.ignore
Create book. Write about using quantifier elimination for a graphing calculator.
on January 3, 2022
book.toml
Create book. Write about using quantifier elimination for a graphing calculator.
on January 3, 2022