xaviripo bachelor-thesis issues - Githubissues

xaviripo / bachelor-thesis

Bachelor's Thesis (Mathematics / Computer Science and Software Engineering @ University of Barcelona). See Releases for final version.

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add trivial failure examples

#17 xaviripo closed 4 years ago
0
Improve Agda README and prepare package for attachment

#16 xaviripo closed 4 years ago
0
Meeting 2020-06-16

#15 xaviripo closed 4 years ago
0
Update the README file for the `run` script

#14 xaviripo closed 4 years ago
0
Add word "lemma" when citing lemmas.

#13 xaviripo closed 4 years ago
1
Use `ONBUILD` Docker instructions to avoid having to use `run`script

#12 xaviripo opened 4 years ago
0
Write good introduction and conclusion

#11 xaviripo closed 4 years ago
0
Meeting 2020-06-05

#10 xaviripo closed 4 years ago
0
Find better title for thesis

#9 xaviripo opened 4 years ago
0
Add a make task for building the TeX sources

#8 xaviripo closed 4 years ago
1
Fix indices in pushouts so that `inl` comes always "before" `inr`

#7 xaviripo closed 4 years ago
1
Add custom title page and logo

#6 xaviripo closed 4 years ago
0
Add 2010 Mathematics Subject Classification codes to abstract

#5 xaviripo closed 4 years ago
0
Use rewrite rules for postulates in Circle.agda

#4 xaviripo closed 4 years ago
1
Improve Agda installation UX

#3 xaviripo opened 4 years ago
2
Allow each Agda file to specify its Agda version and libraries

#2 xaviripo closed 4 years ago
1
Add rewrite rules to example of commutativity of addition

#1 xaviripo closed 4 years ago
1