Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
(
arxiv.org
)
22 points
by
luu
on March 21, 2019
|
hide
|
past
|
favorite
|
1 comment
bsaul
on March 22, 2019
[–]
is there any project that sould convert coq proofs into another language than ML, even if that means making a few assumptions or using only a subset of the target language ?
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
