lmfao canāt believe it looks like this is gonna work, iāve been looking for an excuse to use F* for years.
all of these proofs are pure, unadulterated slop but thatās at least tractable.
if the rest pans out iāll post a diff otherwise assume this cryptic bullshit ended in tears.
10 days ago