File: README.md

package info (click to toggle)
alt-ergo 2.0.0-3
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 2,096 kB
  • sloc: ml: 28,606; makefile: 15; sh: 12
file content (26 lines) | stat: -rw-r--r-- 722 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
next | master
------------ | -------------
[![Travis-CI Build Status](https://travis-ci.org/OCamlPro/alt-ergo.svg?branch=next)](https://travis-ci.org/OCamlPro/alt-ergo) | [![Travis-CI Build Status](https://travis-ci.org/OCamlPro/alt-ergo.svg?branch=master)](https://travis-ci.org/OCamlPro/alt-ergo) 

# Alt-Ergo

Alt-Ergo is an automatic theorem prover of mathematical formulas. It
was developed at LRI, and is now maintained at OCamlPro:

See more details on http://alt-ergo.ocamlpro.com/


## Copyright

See enclosed LICENSE.md file


## Build, Installation and Usage

See enclosed sources/INSTALL.md file


## Support

See http://alt-ergo.ocamlpro.com/support.php or contact us at
contact@ocamlpro.com for more details