FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Jason Gross
Affiliation: Machine Intelligence Research Institute and Massachusetts Institute of Technology
Web page: https://jasongross.github.io/
Pages in this Program
Coq on Friday, August 12th
Coq Program
ITP on Wednesday, August 10th
ITP Program
Program
Program for Friday, August 12th
Program for Wednesday, August 10th
Slides
Slides
Slides