LeanReasoning / vocab.json
realDeclan's picture
Upload complete LeanReasoning model
5eb4c15 verified
Raw History Contribute Delete
2.78 MB
File too large to display, you can check the raw version instead.