cm0002@literature.cafe to Programming@programming.dev · 2 days agoLean proof of the entire US tax code to find loopholeslexifina.comexternal-linkmessage-square14fedilinkarrow-up137
arrow-up137external-linkLean proof of the entire US tax code to find loopholeslexifina.comcm0002@literature.cafe to Programming@programming.dev · 2 days agomessage-square14fedilink
minus-squaretatterdemalion@programming.devlinkfedilinkarrow-up1·1 day agoSo what formal language do you think would be more appropriate than Lean for this purpose?
minus-squareFishFace@piefed.sociallinkfedilinkEnglisharrow-up3·1 day agoPHP. Half kidding, but you’re asking the wrong questions. Go read my original comment again.
So what formal language do you think would be more appropriate than Lean for this purpose?
PHP.
Half kidding, but you’re asking the wrong questions. Go read my original comment again.