This website requires JavaScript.
Explore
Help
Register
Sign In
Repositories
Users
Organizations
Search
Sort
Newest
Oldest
Alphabetically
Reverse alphabetically
Recently updated
Least recently updated
Most stars
Fewest stars
Most forks
Fewest forks
SinTan1729 / lean-talk-sp24
Lean
0
0
These are the files used in a talk
math
lean
lean4
mathematics
proof-assistant
Updated
2024-03-11 02:20:45 -05:00
SinTan1729 / matrix-basic
Rust
0
0
A Rust crate for very basic matrix operations
rust
crate
generic
library
math
matrix
Updated
2023-05-28 17:31:01 -05:00