Model: rookiemango/lean4-autoformalization
Author: rookiemango
Tags: region:us
Likes: 0 | All-time downloads: 0
Created: 2024-05-15 15:20:35