Hugging Face's logo
Johl's picture
18

Johl

chbwa
ยท

AI & ML interests

None yet

Recent Activity

new activity about 18 hours ago
introspector/zkperf:Add agda zkperf bundle for Prelude.agda
new activity about 18 hours ago
introspector/zkperf:Add agda zkperf bundle for SaturatedInvariantRefinementStatus.agda
new activity about 18 hours ago
introspector/zkperf:Add agda zkperf bundle for Monoid.agda
View all activity

Organizations

None yet