Skip to content

Commit 886340a

Browse files
jmadiotjmadiot
committed
coq->rocq in some places
1 parent 96a7432 commit 886340a

File tree

2 files changed

+12
-12
lines changed

2 files changed

+12
-12
lines changed

‎index.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
33
<html lang="en">
44
<head>
55
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
6-
<meta name="description" content="A list of 100 famous math theorems, some of which have been formalized in the Coq proof assistant. This page keeps track of those.">
7-
<title>Famous theorems proven in Coq</title>
6+
<meta name="description" content="A list of 100 famous math theorems, some of which have been formalized in the Rocq prover. This page keeps track of those.">
7+
<title>Famous theorems proven in Rocq</title>
88
<link rel="stylesheet" href="def.css" type="text/css" media="screen,print">
99
<script>
1010
var show = function(i){document.getElementById('send'+i).setAttribute('style','block'); return false;};
@@ -20,12 +20,12 @@
2020
</head>
2121
<body>
2222
<div class="middle">
23-
<h1>Formalizing 100 theorems in Coq</h1>
23+
<h1>Formalizing 100 theorems in Rocq</h1>
2424
<p>
2525
This is an appendix to Freek
2626
Wiedijk's <a href="http://www.cs.ru.nl/~freek/100/">webpage</a> webpage
2727
on the "top 100" mathematical theorems, to keep track of the statements
28-
of the 79 theorems that are formalised in Coq.
28+
of the 79 theorems that are formalised in Rocq (formerly Coq).
2929
</p>
3030
<p>
3131
Drop me or Freek an email or
@@ -37,8 +37,8 @@ <h1>Formalizing 100 theorems in Coq</h1>
3737
</p>
3838
<p>
3939
Options:<br>
40-
<label><input type="checkbox" checked="checked" onclick="javascript:toggle(this, 'solved');"> Show theorems that have been formalized in Coq</label><br>
41-
<label><input type="checkbox" checked="checked" onclick="javascript:toggle(this, 'unsolved');"> Show theorems that have not been formalized in Coq</label><br>
40+
<label><input type="checkbox" checked="checked" onclick="javascript:toggle(this, 'solved');"> Show theorems that have been formalized in Rocq</label><br>
41+
<label><input type="checkbox" checked="checked" onclick="javascript:toggle(this, 'unsolved');"> Show theorems that have not been formalized in Rocq</label><br>
4242
<label><input type="checkbox" onclick="javascript:toggle(this, 'existing');"> Show existing formalizations</label><br>
4343
<label><input type="checkbox" onclick="javascript:toggle(this, 'axioms');"> Show axioms used</label><br>
4444
<label><input type="checkbox" onclick="javascript:toggle(this, 'repro');"> Show some reproducibility information</label><br>

‎template.html‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22
<html lang="en">
33
<head>
44
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
5-
<meta name="description" content="A list of 100 famous math theorems, some of which have been formalized in the Coq proof assistant. This page keeps track of those.">
6-
<title>Famous theorems proven in Coq</title>
5+
<meta name="description" content="A list of 100 famous math theorems, some of which have been formalized in the Rocq prover. This page keeps track of those.">
6+
<title>Famous theorems proven in Rocq</title>
77
<link rel="stylesheet" href="def.css" type="text/css" media="screen,print">
88
<script>
99
var show = function(i){document.getElementById('send'+i).setAttribute('style','block'); return false;};
@@ -19,12 +19,12 @@
1919
</head>
2020
<body>
2121
<div class="middle">
22-
<h1>Formalizing 100 theorems in Coq</h1>
22+
<h1>Formalizing 100 theorems in Rocq</h1>
2323
<p>
2424
This is an appendix to Freek
2525
Wiedijk's <a href="http://www.cs.ru.nl/~freek/100/">webpage</a> webpage
2626
on the "top 100" mathematical theorems, to keep track of the statements
27-
of the {{{nb_formalized_in_coq}}} theorems that are formalised in Coq.
27+
of the {{{nb_formalized_in_coq}}} theorems that are formalised in Rocq (formerly Coq).
2828
</p>
2929
<p>
3030
Drop me or Freek an email or
@@ -36,8 +36,8 @@ <h1>Formalizing 100 theorems in Coq</h1>
3636
</p>
3737
<p>
3838
Options:<br>
39-
<label><input type="checkbox" checked="checked" onclick="javascript:toggle(this, 'solved');"> Show theorems that have been formalized in Coq</label><br>
40-
<label><input type="checkbox" checked="checked" onclick="javascript:toggle(this, 'unsolved');"> Show theorems that have not been formalized in Coq</label><br>
39+
<label><input type="checkbox" checked="checked" onclick="javascript:toggle(this, 'solved');"> Show theorems that have been formalized in Rocq</label><br>
40+
<label><input type="checkbox" checked="checked" onclick="javascript:toggle(this, 'unsolved');"> Show theorems that have not been formalized in Rocq</label><br>
4141
<label><input type="checkbox" onclick="javascript:toggle(this, 'existing');"> Show existing formalizations</label><br>
4242
<label><input type="checkbox" onclick="javascript:toggle(this, 'axioms');"> Show axioms used</label><br>
4343
<label><input type="checkbox" onclick="javascript:toggle(this, 'repro');"> Show some reproducibility information</label><br>

0 commit comments

Comments
 (0)