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
27
28
29
30
31
32
33
34
35
|
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>psmt2-frontend</title>
<link rel="stylesheet" href="style.css?v=5d7320a9a8657af61f899c84ec3bdcb7"/>
<link rel="icon" type="image/png" sizes="804x804" href="favicon.png" />
</head>
<body>
<div class="content">
<div class="header">
<h1>psmt2-frontend</h1>
<p>An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism.
</p>
</div>
<div class="section">
<ul>
<li><a href="https://github.com/OCamlPro-Coquera/psmt2-frontend/issues">Bug reports</a></li>
</ul>
<p>Authors:</p>
<ul> <li><p>Albin Coquereau</p></li></ul>
</div>
<div class="trailer">
<hr/>
<p>Copyright © Albin Coquereau</p>
</div>
</div>
</body>
</html>
|
