Hacker News new | ask | show | jobs
by mukyu 5322 days ago
actual title: "Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq"