GitHub repository: mateoatr/sf
Primary language: Coq
Created: 2019-07-31T17:50:57Z
Description: Verificación formal del cálculo λSF