A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java
arXiv: 2205.11707 · Page du résumé · arXiv
Ce qui a changé entre deux versions d'un article. Résultats et chiffres modifiés (avant et après), conclusions, méthode, données, erreurs corrigées, ou seulement la rédaction, et si les résultats principaux ont changé. Et un email quand un article que vous suivez a une nouvelle version.