/proof

using rust to take notes for math theory classes because im insane or something like that

Primary LanguageRustMIT LicenseMIT

cs203

im going rapidly insane