Reproduction of RepWL_ES

Reproduction of savask's and mei's bouncers

Coq-BB5 - Reproduction and improvements on NGramCPS

Reproduction of Halting Segment

Reproduction of Backward Reasoning

Reproduction, optimization, formal verification of savask's bouncers

Coq verification of Backward Reasoning

Coq verification of Translated Cyclers

Coq verification of Cyclers

Reproduction and variations on Bouncers (Iijil)

Reproduction and variations on Bouncers (savask)

Reproduction of FAR

Reproduction of FAR

Reproduction of Halting Segment

Reproduction of Halting Segment

Reproduction and debugging of Backward Reasoning

Reproduction of Cyclers

Reproduction of Translated Cyclers

Dafny verification of Halting Segment

Dafny verification of Cyclers

Reproduction of Halting Segment and forward implem