Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Asta Halkjær From
conf.researchr.org general profile
POPL 2025 profile
Registered user since Fri 22 Nov 2024
Name:
Asta Halkjær From
Affiliation:
University of Copenhagen
Contributions
2025
CPP
Author of An Isabelle/HOL Framework for Synthetic Completeness Proofs within the CPP 2025-track
Share
x
Wed 18 Dec 20:13