issues
search
tirix
/
metamath-web
Metamath web server
http://metamath.tirix.org/mpeuni/toc
MIT License
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Website doesn't work
#34
GinoGiotto
closed
8 months ago
2
Incorrect type for theorem `weq`
#33
GinoGiotto
opened
11 months ago
0
Incorrect syntax definition `cv`
#32
GinoGiotto
opened
11 months ago
0
Skip empty chapters
#31
GinoGiotto
opened
11 months ago
0
Some chapter titles are broken
#30
GinoGiotto
opened
11 months ago
0
Display $f hypotheses for some wff and class definitions
#29
GinoGiotto
opened
11 months ago
0
Correct STS typecode for syntax definitions
#28
tirix
closed
11 months ago
0
Formula extraction for syntax breakdown
#27
tirix
closed
11 months ago
1
wff and class definitions don't work again
#26
GinoGiotto
closed
11 months ago
4
Added XITS font for unicode typesetting
#25
tirix
closed
1 year ago
0
Html pages don't work
#24
GinoGiotto
closed
11 months ago
7
Support several databases
#23
tirix
opened
1 year ago
0
Fix heading comments
#22
tirix
closed
1 year ago
0
Remove links for hypotheses
#21
tirix
closed
1 year ago
0
Header comments, bump `metamath-knife` to v0.3.7
#20
tirix
closed
1 year ago
0
Broken links
#19
GinoGiotto
opened
1 year ago
3
Click on hypotheses generates a 404
#18
GinoGiotto
closed
1 year ago
0
Empty page
#17
GinoGiotto
closed
1 year ago
3
Non-free symbol doesn't show
#16
GinoGiotto
closed
1 year ago
4
Add check STS option
#15
tirix
closed
1 year ago
1
Fix turnstile symbol and margin for ASCII
#14
tirix
closed
1 year ago
0
Update README.md
#13
tirix
closed
1 year ago
0
Cargo format, add CI
#12
tirix
closed
1 year ago
0
Bump metamath-knife version
#11
tirix
closed
1 year ago
0
Faint text + wff and class definitions don't work
#10
GinoGiotto
closed
1 year ago
4
Overlapping text among navigation buttons
#9
tirix
closed
2 years ago
7
Navigation to next theorem or chapter
#8
tirix
closed
2 years ago
4
Unicode
#7
tirix
closed
2 years ago
0
Table of Contents and navigation
#6
tirix
closed
2 years ago
0
Statement types
#5
tirix
closed
2 years ago
0
ASCII rendering of assertions and hyps; "discouraged" warnings.
#4
tirix
closed
2 years ago
0
Summary of the theorems (hypotheses and statement) before the proof; …
#3
tirix
closed
2 years ago
0
Styling (fonts, CSS, icons..)
#2
tirix
closed
2 years ago
0
Update README.md
#1
tirix
closed
2 years ago
0