Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

The fuzz typechecker does not support the Z standard. You can overcome this if you have a Z standard typechecker that reads LaTeX markup – see Can I use a different typechecker?

April 26, 2017different fuzz latex Markup OVERCOME READS standard support typechecker

0

10 Posted

The fuzz typechecker does not support the Z standard. You can overcome this if you have a Z standard typechecker that reads LaTeX markup – see Can I use a different typechecker?

1 Answer

0

10 Posted

• There are some constructs in the Z standard that are not yet in the user interface.