lean-uint-bitvec

Name: lean-uint-bitvec
Author: kim-em

Use when Lean 4 proofs involve UInt8/UInt16/UInt32/BitVec conversions, bv_decide, or bridging between numeric types and Nat.

maintainer

kim-em

更新於 3/12/2026

星標

分支

quick start

Installation and usage

Use when Lean 4 proofs involve UInt8/UInt16/UInt32/BitVec conversions, bv_decide, or bridging between numeric types and Nat.

安裝

$ install --globalskills.sh

使用

安裝後，您可以通過在終端運行以下命令來使用此技能：

skills use lean-uint-bitvec