Бумажный формализатор: автор в-Loop Автоформализация исследовательских документов в Lean
arXiv: 261 030,31810v 1 Annuate Type: New Humber Brieflow: Даже тщательно корректированная бумага может оставлять небольшие пробелы в ее доказательствах или заявленных предположениях. Мы представляем ...