Toggle navigation
Components
ProB Cli
ProB Tcl/Tk
ProB Java API
BMotionWeb
ProB for Rodin
ProB for TLA
Documentation
ProB Tcl/Tk
BMotionWeb
ProB Java API
Download
Bugs
Links
Team
Navigation
Main Page
User Manual
Tutorials
Developer Manual
Benchmarks
Licence
Logic Calculator
Special Pages
Recent changes
User
Log in
Go
Search
Help
Gallery of new files
This special page shows the last uploaded files.
Filter
IP address or username
Show uploads by bots
Media type:
3D
Audio
Bitmap images
Compressed formats
Drawings (vector images)
Executables
Office
Rich media
Textual
Unknown
Videos
From date:
To date:
Search
Freetype example 1.png
Vella
11:30, 24 April 2024
1,346 × 1,026; 58 KB
IceCreamCoverage.png
Michael Leuschel
07:35, 24 April 2024
859 × 704; 139 KB
JupyterSolveSat.png
Michael Leuschel
13:38, 23 April 2024
1,230 × 344; 45 KB
JupypterOpt3.png
Michael Leuschel
13:37, 23 April 2024
1,220 × 173; 40 KB
JupypterOpt2.png
Michael Leuschel
13:37, 23 April 2024
1,223 × 386; 67 KB
JupypterOpt1.png
Michael Leuschel
13:37, 23 April 2024
1,217 × 343; 57 KB
ProBAtAGlance.png
Michael Leuschel
14:46, 7 March 2024
1,261 × 885; 147 KB
MonteCarloSimulation.png
Fabian Vu
13:07, 14 January 2024
748 × 748; 67 KB
HypothesisTesting.png
Fabian Vu
13:06, 14 January 2024
750 × 1,186; 96 KB
Estimation.png
Fabian Vu
13:06, 14 January 2024
751 × 1,193; 93 KB
SimB Window.png
Fabian Vu
11:12, 14 January 2024
2,392 × 1,450; 358 KB
Open SimB.png
Fabian Vu
11:00, 14 January 2024
2,628 × 1,818; 691 KB
ProB2 UI Rules View.png
Jan Gruteser
09:37, 8 January 2024
649 × 630; 29 KB
IceCream Generic.png
Michael Leuschel
09:10, 8 January 2024
612 × 696; 55 KB
IceCream Generic.pdf
Michael Leuschel
08:04, 8 January 2024
; 21 KB
ProB2UI VisB View ExportedHTML.png
Michael Leuschel
08:11, 24 January 2023
1,476 × 1,390; 211 KB
ProBTerminalizerReplDemo.gif
Michael Leuschel
11:44, 8 November 2022
657 × 414; 719 KB
ProBTerminalizerDemo.gif
Michael Leuschel
11:38, 8 November 2022
622 × 334; 1.73 MB
ProB2UI VisB View Export.png
Michael Leuschel
06:25, 25 March 2022
845 × 193; 35 KB
ProB2UI VisB Debug Table View.png
Michael Leuschel
06:23, 25 March 2022
1,185 × 486; 169 KB
(
newest
|
oldest
) View (
newer 20
|
older 20
) (
20
|
50
|
100
|
250
|
500
)