Pinned Loading

1. agda-feit-higman-theorem agda-feit-higman-theorem Public

   Formalization of Feit Higman Theorem - v 2.0

   Agda

2. compilers compilers Public

   Toy Compilers

   Haskell

3. qm_progs qm_progs Public

   Repository of some python programs for simulation of quantum systems

   Python 1