issues
search
ehonda
/
TheoremsAboutAlgorithms
A bunch of theorems about algorithms, written in lean 4
MIT License
1
stars
0
forks
source link
lean4
readme