ZAIDX11
/

Axiovora-X

Model card Files Files and versions

Axiovora-X / MyProject /lean-toolchain

ZAIDX11's picture

Add files using upload-large-folder tool

deefe2e verified about 2 months ago

history blame contribute delete

25 Bytes

	leanprover/lean4:v4.22.0