package coq-chick-blog

  1. Overview
  2. No Docs
A blog engine written and proven in Coq

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. G
    Guillaume Claret

Maintainers

  1. D
    dev@clarus.me

Sources

1.0.0.tar.gz
sha512=f54224caafc490f01896ff1fa1e6e9c71ff91ca5bf04fe00f4761dbd9e32758628f6be045b56f4a466574c05ae98edaf41931a1851ae59b8ab0686d83bb28036

Description

Tags

date:2019-11-26 keyword:blog keyword:effects keyword:extraction

Published: 27 Nov 2019

Dev Dependencies

None

Used by

None

Conflicts

None