Flora :: [Package]

Search a package

@hackage / qed

Simple prover

Latest0.0

About 1 Version Changelog 9 Dependencies 1 Dependent Security

About 1 Version Changelog 9 Dependencies 1 Dependent Security

Changelog

Changelog for QED

0.0 Initial version

A modern package index for Haskell

More links

Documentation
All Packages
Login

Get In Touch

Email
Mastodon
Bluesky

A project made by humans Sources distributed under AGPL license Design & Frontend by Guérilla.Studio