#plt

3 posts

@lobsters Lean proved this program was correct; then I found a bug#security #formalmethods #plt 0 0Apr 13, 2026
@lobsters What is a property?#haskell #plt 0 0Apr 12, 2026
@lobsters Meet Kiki - an array language#plt #apl 0 0Apr 10, 2026