GitHub repository: DarshalShetty/twelf-system-f
Created: 2024-04-29T02:54:05Z
Description: Formalizing system-F and proving its metatheorems in twelf