Publicaciones sobre ACL2

21-10-2025Readings shared October 20, 2025
05-10-2025Readings shared October 4, 2025
14-08-2025Readings shared August 13, 2025
26-07-2025Readings shared July 25, 2025
19-07-2025Readings shared July 18, 2025
10-07-2025Readings shared July 9, 2025
22-05-2025Readings shared May 22, 2025
21-05-2025Readings shared May 21, 2025
04-05-2025Readings shared May 4, 2025
15-03-2025Readings shared March 15, 2025
06-09-2024Readings shared September 6, 2024
21-08-2024Readings shared August 20, 2024