WARNING: cognitive hazards ahead
Stars
4
Forks
0
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
10
commits
Create search_meta_math.txt
aa9f50f
Create hodge.lean
5bc3524
Update ml_innovations.txt
f03f5ce
Create ml_innovations.txt
6ad6771
Create thoughts_2.txt
113fed1
Create thoughts_1.txt
a477827
Update p_np_3.lean
90646db
Add files via upload
741d553
Create p_np.lean
4584c12
Initial commit
2994bb8