[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Isarmathlib-devel] new presentation of IsarMathLib
From: |
Slawomir Kolodynski |
Subject: |
[Isarmathlib-devel] new presentation of IsarMathLib |
Date: |
Wed, 7 Jan 2009 14:58:42 -0800 (PST) |
I have created a new IsarMathLib prezentation at formalmath.org . This will
probably replace the Tiddly Formal Math site
(http://formalmath.tiddlyspot.com/) .
There is one issue I don't know how to resolve. Some proofs don't want to
expand on click. This happens rarely, about one in 20 proofs. See lemma
func1_1_L12 in http://formalmath.org/func1.html for an example of this. If you
can an idea what might be happening there, please let me know.
Slawekk
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Isarmathlib-devel] new presentation of IsarMathLib,
Slawomir Kolodynski <=