Search results

Deprecating signature modules

FLaTeX/FLOMDoc

Status: Open.

#21 In KWARC/FoMID;

· Jazzpirate opened on Mar 8, 2021

(commutative) diagrams

FLaTeX/FLOMDoc

Status: Open.

#20 In KWARC/FoMID;

· Jazzpirate opened on Mar 2, 2021

Semantic Search

Services

Status: Open.

#19 In KWARC/FoMID;

· Jazzpirate opened on Mar 2, 2021

Translation / Alignments

FLaTeX/FLOMDoc

MMT

Services

Status: Open.

#18 In KWARC/FoMID;

· Jazzpirate opened on Mar 2, 2021

Library structuring

Status: Open.

#17 In KWARC/FoMID;

· Jazzpirate opened on Mar 2, 2021

Guided tours

Services

Status: Open.

#16 In KWARC/FoMID;

· Jazzpirate opened on Mar 2, 2021

Pop-up/Collapsible annotations in PDFs (e.g. structured proofs, links to math concepts)

Services

Status: Open.

#15 In KWARC/FoMID;

· Jazzpirate opened on Mar 2, 2021

Typechecking expressions / Translating to foundations

MMT

Services

Status: Open.

#14 In KWARC/FoMID;

· Jazzpirate opened on Mar 2, 2021

verbalizations with arguments

FLaTeX/FLOMDoc

Status: Open.

#13 In KWARC/FoMID;

· kohlhase opened on Mar 2, 2021

Realms

FLaTeX/FLOMDoc

MMT

Status: Open.

#12 In KWARC/FoMID;

· Jazzpirate opened on Mar 2, 2021

Changing notations

FLaTeX/FLOMDoc

MMT

Services

Status: Open.

#11 In KWARC/FoMID;

· Jazzpirate opened on Feb 28, 2021

Implicit/default arguments/notations with differing arities

FLaTeX/FLOMDoc

HTML/FLOMDoc

MMT

Status: Open.

#10 In KWARC/FoMID;

· Jazzpirate opened on Feb 27, 2021