aenriii / proof

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

cs203

im going rapidly insane

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

MIT License

Language:Rust 100.0%