Master's Degree Student in Computer Science on A.I. Interested in Machine Learning and Deep Learning. Engineer. DataScientist. Research Fellow in ML
-
Ca' Foscari University, IT dept.
- italy
- riccardobernardi.github.io
Starred repositories
1
result
for source starred repositories
written in Coq
Clear filter
A Learning Environment for Theorem Proving with the Coq proof assistant