Documentation
DocTest3
.
Basic
Search
return to top
source
trace
Imports
Init
Imported by
hello
t
source
def
hello
:
String
Equations
hello
=
"world"
Instances For
source
theorem
t
{
A
:
Sort
u_1}
(
x
:
A
)
:
True