max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Std/Tactic
History
Henrik Böving 8822b0fca7
feat: bv_decide BitVec.sdiv (#5823)
2024-10-23 21:10:27 +00:00
..
BVDecide feat: bv_decide BitVec.sdiv (#5823) 2024-10-23 21:10:27 +00:00
BVDecide.lean feat: import LeanSAT's tactic frontends 2024-08-28 18:14:39 +02:00