Enhance model card for VeriCoder: Add paper, GitHub link, pipeline tag, and library name
#2 opened 4 months ago
by
nielsr
Improve language tag
#1 opened 8 months ago
by
lbourdois
Totally Free + Zero Barriers + No Login Required