| SzaboContractExamples |
| 123 contrato.pl | Oct 10, 2021, 7:14:07 AM | 909 B | |
| acompa.pl | Oct 10, 2021, 7:14:07 AM | 618 B | |
| Acompaña.pl | Oct 10, 2021, 7:14:07 AM | 538 B | |
| ama.pl | Oct 10, 2021, 7:14:07 AM | 383 B | |
| antecedents_and_observations.pl | Oct 10, 2021, 7:14:07 AM | 371 B | |
| arrival_correct.pl | Oct 10, 2021, 7:14:07 AM | 942 B | |
| arrival_español.pl | Oct 10, 2021, 7:14:07 AM | 2.58 KiB | |
| arrival_español(1).pl | Oct 10, 2021, 7:14:07 AM | 2.58 KiB | |
| arrival.pl | Oct 10, 2021, 7:14:07 AM | 855 B | |
| badBlocks.pl | Oct 10, 2021, 7:14:07 AM | 1.45 KiB | |
| bad conveyor.pl | Oct 10, 2021, 7:14:07 AM | 3.81 KiB | |
| Ballot.pl | Oct 10, 2021, 7:14:07 AM | 3.30 KiB | |
| bank.pl | Oct 10, 2021, 7:14:07 AM | 1.58 KiB | |
| bankTransfer2D.pl | Oct 10, 2021, 7:14:07 AM | 1.71 KiB | |
| Basic If Then Else.pl | Oct 10, 2021, 7:14:07 AM | 367 B | |
| blocks_world_interference.pl | Oct 10, 2021, 7:14:07 AM | 1.06 KiB | |
| brujanino.pl | Oct 10, 2021, 7:14:07 AM | 595 B | |
| buggymartianrobot,pl.pl | Oct 10, 2021, 7:14:07 AM | 906 B | |
| buggymartianrobot.pl | Oct 10, 2021, 7:14:07 AM | 1017 B | |
| busqueda.pl | Oct 10, 2021, 7:14:07 AM | 170 B | |
| carta.pl | Oct 10, 2021, 7:14:07 AM | 513 B | |
| CCAcompanaB2018.pl | Oct 10, 2021, 7:14:07 AM | 362 B | |
| checkout.pl | Oct 10, 2021, 7:14:07 AM | 825 B | |
| checkout with more_actions.pl | Oct 10, 2021, 7:14:07 AM | 895 B | |
| completeness.pl | Oct 10, 2021, 7:14:07 AM | 231 B | |
| complex loan.pl | Oct 10, 2021, 7:14:07 AM | 13.03 KiB | |
| consolidated loan.pl | Oct 10, 2021, 7:14:07 AM | 4.95 KiB | |
| contagion.pl | Oct 10, 2021, 7:14:07 AM | 4.35 KiB | |
| contagion2.pl | Oct 10, 2021, 7:14:07 AM | 379 B | |
| contagionlps.pl | Oct 10, 2021, 7:14:07 AM | 3.23 KiB | |
| contagionnet.pl | Oct 10, 2021, 7:14:07 AM | 3.02 KiB | |
| contrato116.pl | Oct 10, 2021, 7:14:07 AM | 2.07 KiB | |
| conveyor belt.pl | Oct 10, 2021, 7:14:07 AM | 3.36 KiB | |
| conveyor belt(1).pl | Oct 10, 2021, 7:14:07 AM | 3.36 KiB | |
| ConveyorBelt2.pl | Oct 10, 2021, 7:14:07 AM | 4.41 KiB | |
| cooking.lps | Oct 10, 2021, 7:14:07 AM | 15.26 KiB | |
| cooking.pl | Oct 10, 2021, 7:14:07 AM | 15.26 KiB | |
| delayedDelivery.lps | Oct 10, 2021, 7:14:07 AM | 2.50 KiB | |
| delivery.pl | Oct 10, 2021, 7:14:07 AM | 2.83 KiB | |
| deliveryDelay.pl | Oct 10, 2021, 7:14:07 AM | 2.59 KiB | |
| Deontic Szabo.lps | Oct 10, 2021, 7:14:07 AM | 1.57 KiB | |
| Ejemplo de fuego.lps | Oct 10, 2021, 7:14:07 AM | 513 B | |
| emergencia.pl | Oct 10, 2021, 7:14:07 AM | 327 B | |
| emergenciasimple.pl | Oct 10, 2021, 7:14:07 AM | 348 B | |
| emergency.pl | Oct 10, 2021, 7:14:07 AM | 312 B | |
| end of daay.pl | Oct 10, 2021, 7:14:07 AM | 792 B | |
| end of day.pl | Oct 10, 2021, 7:14:07 AM | 898 B | |
| eventgraph.pl | Oct 10, 2021, 7:14:07 AM | 2.60 KiB | |
| eYStcpBj.pl | Oct 10, 2021, 7:14:07 AM | 739 B | |
| farmer, wolf, goat and cabbage.pl | Oct 10, 2021, 7:14:07 AM | 2.29 KiB | |
| faultymartianrobot.pl | Oct 10, 2021, 7:14:07 AM | 1.87 KiB | |
| faultypurereacting.pl | Oct 10, 2021, 7:14:07 AM | 706 B | |
| firststeps1AWDerived.lps | Oct 10, 2021, 7:14:07 AM | 2.69 KiB | |
| foxonegoal.pl | Oct 10, 2021, 7:14:07 AM | 607 B | |
| fwgc.lps | Oct 10, 2021, 7:14:07 AM | 2.29 KiB | |
| GDPR compliance - article 46.pl | Oct 10, 2021, 7:14:07 AM | 1.32 KiB | |
| Giomar Aquiles Salazar Molina.pl | Oct 10, 2021, 7:14:07 AM | 520 B | |
| goat.pl | Oct 10, 2021, 7:14:07 AM | 1.97 KiB | |
| hogwarts.pl | Oct 10, 2021, 7:14:07 AM | 874 B | |
| initiating more actions.pl | Oct 10, 2021, 7:14:07 AM | 417 B | |
| insane_mix.lps | Oct 10, 2021, 7:14:07 AM | 29.36 KiB | |
| insurance.pl | Oct 10, 2021, 7:14:07 AM | 2.85 KiB | |
| Jeinfferson Bernal.pl | Oct 10, 2021, 7:14:07 AM | 2.58 KiB | |
| JindoshRiddle.pl | Oct 10, 2021, 7:14:07 AM | 2.72 KiB | |
| JohnDTractorInsuranceContract.pl | Oct 10, 2021, 7:14:07 AM | 616 B | |
| Joker_s_dilemma.pl | Oct 10, 2021, 7:14:07 AM | 1.90 KiB | |
| JzbyYMZk.lps | Oct 10, 2021, 7:14:07 AM | 1.62 KiB | |
| Leon_raton.pl | Oct 10, 2021, 7:14:07 AM | 761 B | |
| leonraton01.pl | Oct 10, 2021, 7:14:07 AM | 817 B | |
| leonraton02.pl | Oct 10, 2021, 7:14:07 AM | 658 B | |
| Life.pl | Oct 10, 2021, 7:14:07 AM | 1.96 KiB | |
| LP.pl | Oct 10, 2021, 7:14:07 AM | 226 B | |
| martianrobot,pl.pl | Oct 10, 2021, 7:14:07 AM | 1008 B | |
| martianrobot.pl | Oct 10, 2021, 7:14:07 AM | 1.95 KiB | |
| martianrobotl.pl | Oct 10, 2021, 7:14:07 AM | 1.92 KiB | |
| minimalGoat.pl | Oct 10, 2021, 7:14:07 AM | 1.05 KiB | |
| MyLife.pl | Oct 10, 2021, 7:14:07 AM | 1.96 KiB | |
| myLogGroker.pl | Oct 10, 2021, 7:14:07 AM | 111.68 KiB | |
| need insulin.pl | Oct 10, 2021, 7:14:07 AM | 1.84 KiB | |
| new ballot.pl | Oct 10, 2021, 7:14:07 AM | 2.62 KiB | |
| new goat.pl | Oct 10, 2021, 7:14:07 AM | 2.29 KiB | |
| New Tezos.pl | Oct 10, 2021, 7:14:07 AM | 3.92 KiB | |
| NormalOutcomeOfJohnDTractorInsuranceContract.pl .pl | Oct 10, 2021, 7:14:07 AM | 813 B | |
| P6 Claudio Condor.pl | Oct 10, 2021, 7:14:07 AM | 883 B | |
| planningfox.pl | Oct 10, 2021, 7:14:07 AM | 764 B | |
| pobrearico.pl | Oct 10, 2021, 7:14:07 AM | 1.77 KiB | |
| pork bellies.lps | Oct 10, 2021, 7:14:07 AM | 1.47 KiB | |
| pork bellies commented.lps | Oct 10, 2021, 7:14:07 AM | 3.02 KiB | |
| potencia.pl | Oct 10, 2021, 7:14:07 AM | 1.02 KiB | |
| PrologContagion.pl | Oct 10, 2021, 7:14:07 AM | 950 B | |
| purereacting.pl | Oct 10, 2021, 7:14:07 AM | 577 B | |
| PxkqiaFK.pl | Oct 10, 2021, 7:14:07 AM | 362 B | |
| reactivesolutions.pl | Oct 10, 2021, 7:14:07 AM | 134 B | |
| realt_time_cycle.pl | Oct 10, 2021, 7:14:07 AM | 272 B | |
| realt_time_cycle(1).pl | Oct 10, 2021, 7:14:07 AM | 272 B | |
| resistencia.lps | Oct 10, 2021, 7:14:07 AM | 592 B | |
| river_crossing.lps | Oct 10, 2021, 7:14:07 AM | 972 B | |
| salomon.lps | Oct 10, 2021, 7:14:07 AM | 2.15 KiB | |
| salomon.pl | Oct 10, 2021, 7:14:07 AM | 2.04 KiB | |
| Samuel Contreras.pl | Oct 10, 2021, 7:14:07 AM | 620 B | |
| sdsd.pl | Oct 10, 2021, 7:14:07 AM | 408 B | |
| search.pl | Oct 10, 2021, 7:14:07 AM | 419 B | |
| sel-driving cars.pl | Oct 10, 2021, 7:14:07 AM | 2.54 KiB | |
| self-drivers.lps | Oct 10, 2021, 7:14:07 AM | 8.59 KiB | |
| self-drivers.pl | Oct 10, 2021, 7:14:07 AM | 8.62 KiB | |
| self-driving cars.pl | Oct 10, 2021, 7:14:07 AM | 2.72 KiB | |
| semantic_graphs.pl | Oct 10, 2021, 7:14:07 AM | 597 B | |
| Simpified contaminated doesn't work.pl | Oct 10, 2021, 7:14:07 AM | 3.12 KiB | |
| simple conveyor.pl | Oct 10, 2021, 7:14:07 AM | 5.85 KiB | |
| simplified checkout.pl | Oct 10, 2021, 7:14:07 AM | 783 B | |
| Solomon and the two women.pl | Oct 10, 2021, 7:14:07 AM | 2.18 KiB | |
| SOS.pl | Oct 10, 2021, 7:14:07 AM | 819 B | |
| survival_game.lps | Oct 10, 2021, 7:14:07 AM | 83.01 KiB | |
| take insulin.pl | Oct 10, 2021, 7:14:07 AM | 2.52 KiB | |
| testingLPSrecursion.pl | Oct 10, 2021, 7:14:07 AM | 3.09 KiB | |
| testingLPSrecursionLPS.pl | Oct 10, 2021, 7:14:07 AM | 3.74 KiB | |
| testingLPSrecursionLPSFluent.pl | Oct 10, 2021, 7:14:07 AM | 3.85 KiB | |
| tezos_game_with_oracle.pl | Oct 10, 2021, 7:14:07 AM | 1.62 KiB | |
| Tezos game.pl | Oct 10, 2021, 7:14:07 AM | 4.24 KiB | |
| Tezos game revised.pl | Oct 10, 2021, 7:14:07 AM | 6.17 KiB | |
| TimeLimitedOutcomeOfJohnDTractorInsuranceContract.pl | Oct 10, 2021, 7:14:07 AM | 777 B | |
| time simulation.pl | Oct 10, 2021, 7:14:07 AM | 2.48 KiB | |
| trabajo.pl | Oct 10, 2021, 7:14:07 AM | 417 B | |
| trading.pl | Oct 10, 2021, 7:14:07 AM | 399 B | |
| unsat.pl | Oct 10, 2021, 7:14:07 AM | 1.75 KiB | |
| venezuelaenero2019a.pl | Oct 10, 2021, 7:14:07 AM | 1.41 KiB | |
| venezuelaenero2019b.pl | Oct 10, 2021, 7:14:07 AM | 1.64 KiB | |
| wheel.pl | Oct 10, 2021, 7:14:07 AM | 802 B | |
| zorraconmeta.pl | Oct 10, 2021, 7:14:07 AM | 687 B | |
| zorraconunameta.pl | Oct 10, 2021, 7:14:07 AM | 645 B | |
| zorraotrameta.pl | Oct 10, 2021, 7:14:07 AM | 599 B | |
| zorrasinmeta.pl | Oct 10, 2021, 7:14:07 AM | 419 B | |
| zorraunameta.pl | Oct 10, 2021, 7:14:07 AM | 747 B | |
| zqHuVEoT.pl | Oct 10, 2021, 7:14:07 AM | 420 B | |
|