-rw-r--r-- 755 leangoppa-20230726/Goppadecoding.lean raw
import Goppadecoding.logic
import Goppadecoding.finset
import Goppadecoding.nat
import Goppadecoding.zero
import Goppadecoding.dvd
import Goppadecoding.sum
import Goppadecoding.prod
import Goppadecoding.poly
import Goppadecoding.lineardependence
import Goppadecoding.sq
import Goppadecoding.diff
import Goppadecoding.char2
import Goppadecoding.finite_perfect
import Goppadecoding.shiftpoly
import Goppadecoding.zcoeff
import Goppadecoding.hamming
import Goppadecoding.vanishing
import Goppadecoding.vanishing_hamming
import Goppadecoding.interpolator
import Goppadecoding.approximant
import Goppadecoding.reedsolomon
import Goppadecoding.goppa_binary
import Goppadecoding.goppa_parity
import Goppadecoding.goppa_squaring
import Goppadecoding.goppa_closer