Highlights
- Pro
Stars
5
stars
written in HTML
Clear filter
A lightweight, responsive web e-book template
A collection of tools for writing technical documents that mix Coq code and prose.
A proof-of-concept SWI-Prolog implementation of Web Prolog
Consistently generate the same color for a specific string