Search results

sqdeccom12 formatting error

Status: Open.

#36 In tirix/metamath-web;

· icecream17 opened on Nov 28, 2024

Incorrect type for theorem <code>weq</code>

Status: Open.

#33 In tirix/metamath-web;

· GinoGiotto opened on Nov 25, 2023

Incorrect syntax definition <code>cv</code>

Status: Open.

#32 In tirix/metamath-web;

· GinoGiotto opened on Nov 25, 2023

Skip empty chapters

Status: Open.

#31 In tirix/metamath-web;

· GinoGiotto opened on Nov 24, 2023

Some chapter titles are broken

Status: Open.

#30 In tirix/metamath-web;

· GinoGiotto opened on Nov 13, 2023

Display $f hypotheses for some wff and class definitions

Status: Open.

#29 In tirix/metamath-web;

· GinoGiotto opened on Nov 12, 2023

Support several databases

Status: Open.

#23 In tirix/metamath-web;

· tirix opened on Oct 30, 2023

Broken links

Status: Open.

#19 In tirix/metamath-web;

· GinoGiotto opened on Oct 30, 2023