Wolfgang Meier
Computer Science student based in Aarhus, Denmark.
Projects:
CertiCoq-Wasm [
CoqPL'24
] [
abstract
] [
slides
] [
code
] [
demo
]
Find me elsewhere on:
Github
Please reach out:
Mail:
womeier@posteo.de