18 citations · 18 across the 1 of their papers we have counts for
2 papers
astro-ph.EP2022★ 18 cited
Physical properties of the trans-Neptunian object (38628) Huya from a multi-chord stellar occultation
P. Santos-Sanz, J. L. Ortiz, B. Sicardy +85
Within our international program to obtain accurate physical properties of trans-Neptunian objects (TNOs) we predicted a stellar occultation by the TNO (38628) Huya of the star Gai…
cs.PL2018
Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
Guido Martínez, Danel Ahman, Victor Dumitrescu +10
We introduce Meta-F*, a tactics and metaprogramming framework for the F* program verifier. The main novelty of Meta-F* is allowing the use of tactics and metaprogramming to dischar…