https://arxiv.org/abs/2108.02995
[2108.02995] Extracting functional programs from Coq, in Coq
Abstract page for arXiv paper 2108.02995: Extracting functional programs from Coq, in Coq
210802995extractingfunctionalprograms
https://arxiv.org/abs/2409.02995
[2409.02995] The K2-24 planetary system revisited by CHEOPS
Abstract page for arXiv paper 2409.02995: The K2-24 planetary system revisited by CHEOPS
the k2planetary system240902995revisited