4 kyu

A special set of matrices with unique representation

7 of 35solitude


Loading description...
Theorem Proving
Linear Algebra


CreatedMar 21, 2019
PublishedMar 21, 2019
Warriors Trained140
Total Skips23
Total Code Submissions57
Total Times Completed35
Agda Completions7
Coq Completions17
Lean Completions15
Total Stars4
% of votes with a positive feedback rating100% of 11
Total "Very Satisfied" Votes11
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
4 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
4 kyu