Automated Deduction – CADE 28

Overview of attention for book

Attention for Chapter: The Isabelle/Naproche Natural Language Proof Assistant

Altmetric Badge

Mentioned by

So far, Altmetric has seen 5 X posts from 5 X users, with an upper bound of 13,577 followers.

RT @georg_logic: Isarの後に出てきたNaprocheという研究もあるようで、少しだけ勉強しました。LaTeXとの親和性やできるだけ自然な言語を用いたいそうで、ForTheLという言語が採用されています。 https://t.co/dJje3xnUdu

Isarの後に出てきたNaprocheという研究もあるようで、少しだけ勉強しました。LaTeXとの親和性やできるだけ自然な言語を用いたいそうで、ForTheLという言語が採用されています。 https://t.co/dJje3xnUdu

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 1 additional X posts.