analysis: soft, rounded approximations
algebra: rigid, spiky syntax
in the 1930s, nicolas boubakiki sought to encompass both under a new unified treatment
David Renshaw
@david@social.wub.site
Pittsburgh, PA, USA • Formalizing math problems in Lean: https://dwrensha.github.io/compfiles/ • Defining every word as an acronym: https://acronymy.net/ • Maintaining capnproto-rust: https://github.com/capnproto/capnproto-rust
social.wub.site