Giters

mekty2012 / Coq-Study

This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

algebracoq

Coq-Study

This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.

About

This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.

algebracoq

License:MIT License

Languages

Language:Coq 100.0%