issues
search
arend-lang
/
tutorial-code
Source code & exercises in Arend's documentation
https://arend-lang.github.io/documentation/tutorial
Apache License 2.0
21
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Weird exercise
#17
DanielRrr
opened
1 year ago
0
(probably) Incorrect example
#16
DanielRrr
opened
1 year ago
0
Give an additional example in Basics/Polymorphism
#15
DanielRrr
opened
1 year ago
0
Improve an example in Basics/Namespace and modules
#14
DanielRrr
opened
1 year ago
0
ProofsEx.ard Exercise 7 Russell's Paradox
#13
rudynicolop
closed
1 year ago
1
Explain how tactics can be used.
#12
sxhya
opened
1 year ago
0
Proving equality of classes is unexplained
#11
sxhya
opened
1 year ago
1
Rearrange 6th and 7th parts of the tutorial?
#10
sxhya
opened
1 year ago
0
Arguments of +-comm should be implicit
#9
sxhya
opened
1 year ago
0
Explain how to use REPL
#8
sxhya
opened
1 year ago
0
Explain Arend module system and library descriptors
#7
sxhya
opened
1 year ago
0
Incoherence of definitions in tutorial and arend-lib
#6
sxhya
opened
1 year ago
0
Duplicate definitions in different code files
#5
ShreckYe
opened
3 years ago
1
Typo "eqiality" in CaseEx.ard
#4
ShreckYe
closed
3 years ago
1
`Mat m n` instead of `Mat n m`?
#3
ShreckYe
opened
3 years ago
1
Part I: Universes.ard doesn't typecheck with Arend 1.6.0.1
#2
marat-rkh
closed
3 years ago
0
Fix iml files
#1
AxeelAnder
closed
4 years ago
2