ego0op/ingot-lean-zig download history

ego0op/ingot-lean-zig is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 125 times (125 in the last 7 days), and 125 times in total. It ranks #112,820 among datasets by monthly downloads.

Ingot-Lean-Zig: Lean 4 theorems as tested Zig 0.17 A sibling of ego0op/ingot-zig. Each row takes one fact proved in a Lean 4 library (integer arithmetic, bit-vectors, hash maps, balanced trees, number theory, finite fields, NTT, RISC-V and ARM64 instruction semantics). It is written a

Open ego0op/ingot-lean-zig on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.