2,491 followers
RT @glacier345: Coqの Lemmaに合理的な名前を自動で提案する研究があるらしい。こういう発想はなかった。 https://t.co/of8kQ8nC9Y
RT @glacier345: Coqの Lemmaに合理的な名前を自動で提案する研究があるらしい。こういう発想はなかった。 https://t.co/of8kQ8nC9Y
RT @glacier345: Coqの Lemmaに合理的な名前を自動で提案する研究があるらしい。こういう発想はなかった。 https://t.co/of8kQ8nC9Y
Coqの Lemmaに合理的な名前を自動で提案する研究があるらしい。こういう発想はなかった。 https://t.co/of8kQ8nC9Y