Keyword:Lean 4

Publications
Formalizing a Many-Sorted Hybrid Polyadic Modal Logic in Lean Alexandru Oltean, Bogdan Macovei and Ioana Leuștean In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Formalized Hopfield Networks and Boltzmann Machines Matteo Cipollina, Michail Karatarakis and Freek Wiedijk In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Thousands of Problems to Lean Laura Kovács and Axel Polaczek In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Formally Solving Answer-Construction Problems in Lean Jialiang Sun, Yuzhi Tang, Ao Li, Chris Maddison and Kuldeep S. Meel In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning