drwxr-xr-x 162365 leangoppa-20230726 29 files + 0 links
drwxr-xr-x 160208 Goppadecoding 25 files + 0 links
-rw-r--r--    755 Goppadecoding.lean
-rw-r--r--   1196 lake-manifest.json
-rw-r--r--    170 lakefile.lean
-rw-r--r--     36 lean-toolchain