rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / .vscode

1 contributor

History: 1 commit

rookiemango's picture

Upload folder using huggingface_hub

dddc1ae verified 5 months ago

copyright.code-snippets

273 Bytes

Upload folder using huggingface_hub 5 months ago
extensions.json

485 Bytes

Upload folder using huggingface_hub 5 months ago
module-docstring.code-snippets

536 Bytes

Upload folder using huggingface_hub 5 months ago
settings.json

301 Bytes

Upload folder using huggingface_hub 5 months ago