Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agdaCodeWeylVolume2024SetzerDybjer
This contains the Agda code for the contribution to the Weyl volume submitted in 2024
agdaLatex
import of Agda code into Latex directly from agda files
bitcoinAgda
Model of Bitcoins in Agda
CSCM29-2023-24
csetzer.github.io
cspagdaPublic
Festschrift
orgmodeLinenberger
Setup of org-mode to be used with Linenberger
csetzer's Repositories
csetzer/bitcoinAgda
Model of Bitcoins in Agda
csetzer/agdaLatex
import of Agda code into Latex directly from agda files
csetzer/cspagdaPublic
csetzer/Festschrift
csetzer/agda
Agda is a dependently typed programming language / interactive theorem prover.
csetzer/agdaCodeWeylVolume2024SetzerDybjer
This contains the Agda code for the contribution to the Weyl volume submitted in 2024
csetzer/CSCM29-2023-24
csetzer/csetzer.github.io
csetzer/orgmodeLinenberger
Setup of org-mode to be used with Linenberger