{"title": "Wybe", "website": "https://github.com/lamg/wybe", "createdAt": 1744892192853, "userGithub": "lamg", "credentials": {}, "description": "A proof checker embedded in F#'s computation expressions. It implements Dijkstra's predicate calculus and has the objective of bringing formal verification to people without a PhD, specially those writing smart contracts.", "projectTwitter": "lamg_dev"}