Login
en
fr
Navigation
About
Overview
Governance
Ecosystem
Members
Access
Back
Research
Research Groups
Publications
Proofs and Languages
Computer Arithmetics
Computation, Languages and Compilation
Proofs of Programs
Mechanised Proofs
Models
Distributed Computation
Model Checking and Synthesis
Critical Systems
Test and Monitoring
Interactions
Biology
Artificial Intelligence
Quantum Computation
Sécurity
Topology
Joint Project Teams
Deducteam
Toccata
QuaCS
Collaborations
IRL ReLaX
LabCom ProofInUse
Back
News
All news
Events
Seminars
Join us
Internship offers
Home
Stage M1
2024
Generating a User-Manual with and for Isabelle/DOF
March 09, 2024
2021
Observe locally, control globally
April 03, 2021
Observe locally, control globally
April 03, 2021
