Snapkitty
/

pax-coder

sovereign-compute

Model card Files Files and versions

pax-coder / PAX /Float16_Rounding.lean

Commit History

chore: push pax-coder from SNAPKITTYWEST GitHub

ef6eb55
verified

SNAPKITTYWEST commited on about 1 month ago