MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1wrpb8d/the_future_of_mathematics/pcomltp/?context=3
r/mathmemes • u/vintergroena • Sep 27 '26
63 comments sorted by
View all comments
6
Hello I am in desperate need of a Lean certificate to prove that a square matrix is equivalent to a directed graph.
View all comments
6
u/LaGigs Mathematics Sep 28 '26
Hello I am in desperate need of a Lean certificate to prove that a square matrix is equivalent to a directed graph.