Format of natural deduction file...use XML

Status: Alpha

Brought to you by: labra

#1 Format of natural deduction file...use XML

Status: open

Owner: nobody

Labels: Interface Improvements (example) (1)

Priority: 7

Updated: 2003-10-21

Created: 2003-10-21

Creator: Jose Emilio Labra Gayo

Private: No

Use XML DTD as an intermediate format for natural
deduction demos

Discussion

Log in to post a comment.