GitHub repository: m99x/ComputationAndLogic
Created: 2021-04-27T15:30:10Z
Description: Reading "Software Foundations" and studying Coq