Giters

BruceZoom / SJTU-CS7302-PL

This is a coq repository implementing the slides of CS7302 PL.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SJTU-CS7302-PL

This is a coq repository implementing the slides of CS7302 PL.

About

This is a coq repository implementing the slides of CS7302 PL.

Languages

Language:Makefile 70.6%Language:Coq 29.4%