Snapkitty
/

pax-coder

sovereign-compute

Model card Files Files and versions

pax-coder / PAX /lean-toolchain

SNAPKITTYWEST's picture

chore: push pax-coder from SNAPKITTYWEST GitHub

ef6eb55 verified about 1 month ago

Raw History Blame Contribute Delete

24 Bytes

leanprover/lean4:v4.14.0