Ankit Kumar activity https://gitlab.com/ankitku 2024-12-07T16:30:37Z tag:gitlab.com,2023-05-17:2596075830 Ankit Kumar pushed to project branch main at ACL2s / proof-checking / calculational-proof-checker 2023-05-17T11:56:36Z ankitku Ankit Kumar

Ankit Kumar (327be4ba) at 17 May 11:56

updated ewd-1297-2 by removing unnecessary algebra hints, as shown ...