trying to get fable to generate me a Tao Analysis style introduction to surreal numbers based on a few math papers and …
By dan
trying to get fable to generate me a Tao Analysis style introduction to surreal numbers based on a few math papers and github.com/vihdzp/combi... Lean repo