![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ProB2UI_LandingGear.mp4 | 2022-11-08 16:49 | 25M | |
| prob-repl3.gif | 2022-11-08 16:49 | 719K | |
| prob-mc2.gif | 2022-11-08 16:50 | 1.7M | |
| prob-send-more-money.gif | 2022-11-08 16:50 | 1.2M | |
| ProBJupyter_Prolog50_Demo.mp4 | 2022-11-09 10:40 | 9.0M | |
| Prolog50_2022.ipynb | 2022-11-09 10:40 | 18K | |
| prob-repl3_large.gif | 2022-11-09 10:41 | 1.7M | |
| ProB_Colmerauer.key | 2022-11-09 13:39 | 83M | |
| ProB_Colmerauer.pdf | 2022-11-10 08:01 | 10M | |