Proof Assistant Projects
Collection
Digesting proof assistant libraries for AI ingestion. • 84 items • Updated
• 3
Fazal Khan
FA5I
AI & ML interests
None yet
Recent Activity
liked
a dataset about 1 month ago
jablonkagroup/chempile-education liked
a dataset about 1 month ago
kawchar85/Bangla-Math liked
a dataset about 1 month ago
artnoage/Olympiads Organizations
upvoted a collection about 2 months ago