Name Last modified Size Description Parent Directory - Manifest 24-Apr-2025 02:20 930 lambdapi-mode-202504..> 24-Apr-2025 02:20 554 metadata.xml 12-Feb-2025 02:16 332