Giters

robert-schmidtke / dtp

Dependently Typed Programming 2013 @ CS UU

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Dependently Typed Programming 2013

Verification Challenge - Simple Sudoku Solver

About

Dependently Typed Programming 2013 @ CS UU

Languages

Language:Coq 100.0%