├── README.md ├── feedback.md └── isabelle_experiments ├── ivt.pdf ├── ivt.thy ├── ivt_notes.md ├── mutilated.pdf ├── mutilated.thy ├── mutilated_actual.pdf ├── mutilated_actual.thy ├── mutilated_ideal.pdf ├── mutilated_ideal.thy ├── mutilated_notes.md ├── primes_mod_four.pdf ├── primes_mod_four.thy ├── primes_mod_four_notes.md └── readme.md /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/README.md -------------------------------------------------------------------------------- /feedback.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/feedback.md -------------------------------------------------------------------------------- /isabelle_experiments/ivt.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/ivt.pdf -------------------------------------------------------------------------------- /isabelle_experiments/ivt.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/ivt.thy -------------------------------------------------------------------------------- /isabelle_experiments/ivt_notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/ivt_notes.md -------------------------------------------------------------------------------- /isabelle_experiments/mutilated.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/mutilated.pdf -------------------------------------------------------------------------------- /isabelle_experiments/mutilated.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/mutilated.thy -------------------------------------------------------------------------------- /isabelle_experiments/mutilated_actual.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/mutilated_actual.pdf -------------------------------------------------------------------------------- /isabelle_experiments/mutilated_actual.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/mutilated_actual.thy -------------------------------------------------------------------------------- /isabelle_experiments/mutilated_ideal.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/mutilated_ideal.pdf -------------------------------------------------------------------------------- /isabelle_experiments/mutilated_ideal.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/mutilated_ideal.thy -------------------------------------------------------------------------------- /isabelle_experiments/mutilated_notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/mutilated_notes.md -------------------------------------------------------------------------------- /isabelle_experiments/primes_mod_four.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/primes_mod_four.pdf -------------------------------------------------------------------------------- /isabelle_experiments/primes_mod_four.thy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/primes_mod_four.thy -------------------------------------------------------------------------------- /isabelle_experiments/primes_mod_four_notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/primes_mod_four_notes.md -------------------------------------------------------------------------------- /isabelle_experiments/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/avigad/arwm/HEAD/isabelle_experiments/readme.md --------------------------------------------------------------------------------