Giters

SkySkimmer / sf

Home Page:https://deepspec.github.io/sf/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Mirror of the public version of the Software Foundations textbooks

CircleCI

Mainly for CI.

About

https://deepspec.github.io/sf/

Languages

Language:HTML 83.5%Language:Coq 15.0%Language:CSS 0.7%Language:OCaml 0.6%Language:JavaScript 0.1%Language:C 0.0%Language:Makefile 0.0%Language:Dockerfile 0.0%