The GraPE Graphical Proof Editor-开源
130 浏览量
2021-04-28
13:10:31
上传
评论
收藏 300KB GZ 举报
The GraPE Graphical Proof Editor-开源 （273个子文件） 
Changelog 340B COPYING 18KB stylesheet.css 1KB description.dtd 4KB grape2maude.dtd 665B
Help16.gif 893B New16.gif 872B Undo16.gif 870B Stop16.gif 859B Help24.gif 130B TeX16.gif 85B inherit.gif 57B
index-all.html 168KB Node.html 82KB GraPE.html 57KB GraPE2Maude.html 51KB InferenceSystem.html 42KB StructuredLabel.html 38KB InferenceSystem.html 35KB MarkableLabel.html 35KB GraphicalView.html 34KB index-7.html 33KB index-17.html 29KB BinaryOutfixOperator.html 28KB GraPE.RuleItem.html 28KB SystemChooser.html 28KB ViewableObject.html 26KB SyntaxElement.html 26KB UnaryOutfixOperator.html 26KB ProverException.html 26KB Node.html 26KB InferenceFork.InferenceForkWidget.html 26KB index-14.html 25KB TeXportDialog.html 25KB Rule.html 24KB BinaryInfixOperator.html 24KB RuleChooser.html 24KB UnaryPostfixOperator.html 23KB ListOperandPosition.html 23KB UnaryPrefixOperator.html 23KB Lexer.html 22KB OperandPosition.html 22KB Constant.html 22KB Name.html 21KB BinaryOperator.html 21KB SingletonOperandPosition.html 20KB InferenceRule.html 20KB Parser.html 20KB TransformationRule.html 20KB constant-values.html 19KB Maude.html 19KB Parser.html 19KB Rewrite.html 18KB index-18.html 18KB ParseError.html 17KB SimpleViewableObject.html 17KB UnaryOperator.html 17KB MarkableString.html 17KB SyntaxElement.html 17KB package-use.html 17KB overview-tree.html 16KB index-1.html 16KB Operator.html 16KB Rewrite.html 16KB index-11.html 16KB serialized-form.html 16KB Selection.html 15KB Operator.html 15KB DirectReader.html 15KB NodeView.html 15KB index-9.html 15KB index-4.html 15KB DescriptionFileException.html 15KB index-16.html 14KB Lexer.html 14KB OperandPosition.html 14KB Rule.html 14KB Prover.html 14KB InferenceFork.html 13KB index-3.html 13KB Triple.html 13KB Pair.html 12KB Selection.html 12KB index-12.html 12KB ProverException.html 12KB SelectionInfo.html 12KB index-19.html 12KB Pair.html 12KB FormulaEditor.html 12KB DescriptionFileException.html 11KB ActiveCharacterInfo.html 11KB UnaryOutfixOperator.html 11KB index-2.html 11KB package-use.html 11KB ActiveCharacter.html 11KB InvalidPrecedenceException.html 11KB GraPE.Invoker.html 11KB ViewableObject.html 11KB ActiveCharacterInfo.html 11KB ParseError.html 11KB共 273 条
- 1
- 2
- 3
资源评论
