-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
15 lines (15 loc) · 1.63 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
<html>
<head>
<title>LEAN files</title>
</head>
<body>
<p>Here are the files used in the project valenceformula.</p>
<p><a href = "https://ferrandf.github.io/valenceformula/editor/#url=https%3A%2F%2Fraw.githubusercontent.com%2Fferrandf%2Fvalenceformula%2Fmain%2Fsrc%2Fupper_half_plane_manifold.lean"target="_blank">Upper half plane</p>
<p><a href = "https://ferrandf.github.io/valenceformula/editor/#url=https%3A%2F%2Fraw.githubusercontent.com%2Fferrandf%2Fvalenceformula%2Fmain%2Fsrc%2Fholomorphic_functions.lean"target="_blank">Holomorphic functions</p>
<p><a href = "https://ferrandf.github.io/valenceformula/editor/#url=https%3A%2F%2Fraw.githubusercontent.com%2Fferrandf%2Fvalenceformula%2Fmain%2Fsrc%2Fhol_bdd.lean"target="_blank">Holomorphic functions bounded at i_infinity</p>
<p><a href = "https://ferrandf.github.io/valenceformula/editor/#url=https%3A%2F%2Fraw.githubusercontent.com%2Fferrandf%2Fvalenceformula%2Fmain%2Fsrc%2Fholh.lean"target="_blank">HolH</p>
<p><a href = "https://ferrandf.github.io/valenceformula/editor/#url=https%3A%2F%2Fraw.githubusercontent.com%2Fferrandf%2Fvalenceformula%2Fmain%2Fsrc%2Fmerh.lean"target="_blank">MerH</p>
<p><a href = "https://ferrandf.github.io/valenceformula/editor/#url=https%3A%2F%2Fraw.githubusercontent.com%2Fferrandf%2Fvalenceformula%2Fmain%2Fsrc%2Fmod_f.lean"target="_blank">Modular forms</p>
<p> <a href="https://ferrandf.github.io/valenceformula/editor/#url=https%3A%2F%2Fraw.githubusercontent.com%2Fferrandf%2Fvalenceformula%2Fmain%2Fsrc%2Fvalence_formula.lean"target="_blank">The Valence Formula</a> </p>
</body>
</html>