sharmaeklavya2 theoremdep-source issues - Githubissues

sharmaeklavya2 / theoremdep-source

Source files for TheoremDep - a theorem dependency tracker

https://sharmaeklavya2.github.io/theoremdep/

19 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

DFS: White-path theorem: possibly wrong statement

#3 zzJinux closed 6 months ago
1
slight gap in proof of 'real matrix with real eigenvalues has real eigenvectors'

#2 josephpaulmartin closed 1 year ago
1
Linear Algebra is a mess

#1 sharmaeklavya2 opened 4 years ago
1