Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
volume1		volume1
volume2		volume2
volume4		volume4
README.md		README.md

Repository files navigation

Software Fundation

solutions for the first volume in lambda reading meeting of summer'18
solutions for the last volume in FPC meetings of fall'18

About

A repo for Coq practices

Report repository

Releases

No releases published

Packages

Contributors

Languages