mmt

5 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to register MMT as Isabelle component on Windows 10 (to call isabelle mmt_build)?
user_13758820
•
1
1
40
isabelle mmt
How to give an absolute URI in MMT? Getting "unbound token: http" and "ill-formed constant reference"
user_6030030
•
2
1
49
mmt syntax
View between theories both including a common theory in MMT
user_145219280
•
2
1
35
mmt syntax
Why can't I have a definiens with type parameters in MMT (using PLF)?
user_140086100
•
3
1
40
dependent-type formal-methods mmt
How can I glue/identify inclusions in two structures in MMT?
user_6030030
•
2
1
65
theorem-proving dependent-type formal-methods mmt
  • 1
Hot Questions