4 ms·actual title: "Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq"by mukyu 15y agoactual title: "Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq"