a6235d0 fc5c382 a6235d0 fc5c382 a6235d0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
--- title: AVeriTeC emoji: 🚀 colorFrom: green colorTo: indigo sdk: docker pinned: false tags: - competition hf_oauth: true hf_oauth_scopes: - read-repos ---
