drwxr-xr-x 160208 leangoppa-20230726/Goppadecoding 25 files + 0 links
-rw-r--r--  16038 approximant.lean
-rw-r--r--   2062 char2.lean
-rw-r--r--    159 diff.lean
-rw-r--r--   1045 dvd.lean
-rw-r--r--   1009 finite_perfect.lean
-rw-r--r--   1607 finset.lean
-rw-r--r--  15586 goppa_binary.lean
-rw-r--r--  36198 goppa_closer.lean
-rw-r--r--   9274 goppa_parity.lean
-rw-r--r--   4653 goppa_squaring.lean
-rw-r--r--    287 hamming.lean
-rw-r--r--   2364 interpolator.lean
-rw-r--r--    882 lineardependence.lean
-rw-r--r--    560 logic.lean
-rw-r--r--   3432 nat.lean
-rw-r--r--  15259 poly.lean
-rw-r--r--    726 prod.lean
-rw-r--r--   9501 reedsolomon.lean
-rw-r--r--   7798 shiftpoly.lean
-rw-r--r--   1345 sq.lean
-rw-r--r--   7188 sum.lean
-rw-r--r--  18173 vanishing.lean
-rw-r--r--   1223 vanishing_hamming.lean
-rw-r--r--   2000 zcoeff.lean
-rw-r--r--   1839 zero.lean