Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
Item
Discussion
View history
Purge
English
Log in
Help
Pages that link to "Item:Q2867943"
From MaRDI portal
←
Tinycals: Step by Step Tacticals
(Q2867943)
Jump to:
navigation
,
search
What links here
⧼whatlinkshere-whatlinkshere-target⧽
Page:
⧼whatlinkshere-whatlinkshere-ns⧽
Namespace:
all
(Main)
Talk
User
User talk
Project
Project talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Item
Item talk
Property
Property talk
EntitySchema
EntitySchema talk
Module
Module talk
Private
Formula
Formula talk
Person
Person talk
CodeMeta
CodeMeta talk
Publication
Publication talk
Software
Software talk
Dataset
Dataset talk
Community
Community talk
Data
UserData
Schema
Schema talk
Datatype
Datatype talk
Invert selection
⧼whatlinkshere-whatlinkshere-filter⧽
Hide transclusions
Hide links
Hide redirects
Go
The following pages link to
Tinycals: Step by Step Tacticals
(Q2867943)
:
Displayed 5 items.
View (
previous 50
|
next 50
) (
20
|
50
|
100
|
250
|
500
)
The proof monad
(Q974136)
(
← links
)
User interaction with the Matita proof assistant
(Q2462635)
(
← links
)
Declarative representation of proof terms
(Q2655330)
(
← links
)
Natural Deduction Environment for Matita
(Q3637307)
(
← links
)
A Tactic Language for Hiproofs
(Q5505516)
(
← links
)
View (
previous 50
|
next 50
) (
20
|
50
|
100
|
250
|
500
)
Tools
Special pages
Printable version
