Flora :: [Package]

Search a package

@hackage / ivor

Theorem proving library based on dependent type theory

Version Deprecated package0.1.14.1

About 9 Versions Changelog 7 Dependencies 2 Dependents Security

About 9 Versions Changelog 7 Dependencies 2 Dependents Security

Version history

0.1.14.1
- Uploaded: 15 years ago
- Revised: 10 years ago
- License: BSD-3-Clause
0.1.14
- Uploaded: 15 years ago
- Revised: 10 years ago
- License: BSD-3-Clause
0.1.12
- Uploaded: 16 years ago
- Revised: 10 years ago
- License: BSD-3-Clause
0.1.11
- Uploaded: 16 years ago
- Revised: 10 years ago
- License: BSD-3-Clause
0.1.10.1
- Uploaded: 16 years ago
- Revised: 10 years ago
- License: BSD-3-Clause
0.1.10
- Uploaded: 16 years ago
- Revised: 10 years ago
- License: BSD-3-Clause
0.1.9
- Uploaded: 17 years ago
- Revised: 10 years ago
- License: BSD-3-Clause
0.1.8
- Uploaded: 17 years ago
- Revised: 10 years ago
- License: BSD-3-Clause
0.1.5
- Uploaded: 18 years ago
- Revised: 10 years ago
- License: BSD-3-Clause

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