_config.yml - smtcoq - Fork of https://github.com/smtcoq/smtcoq.

about summary refs log tree commit diff stats

path: root/_config.yml

blob: b836d2f9bd3b1fadc9c97b3ee932eccd7eeb0069 (plain)

1
2
3

title: SMTCoq
description: Communication between Coq and SAT/SMT solvers
theme: jekyll-theme-slate