Giters

kipa00 / coq-number-theory

Number Theory in Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Number Theory in Coq

This repository is just for practicing coq programming skills.

About

Number Theory in Coq

Languages

Language:Coq 53.0%Language:Makefile 47.0%