Sciences formelles & physiques Informatique & CybersécuritéFRLec 30: CTL Model Checking AlgorithmsProf. Chandan Karfa21 août 2026 36 min★ ★ ★ ★ ☆ 4/5Model CheckingCTLLogique Temporelle
Sciences appliquées & ingénierie Informatique & CybersécuritéFRObsidian + Claude Code : ce que ce débutant a fait en 10 jours est bluffantEliott Meunier6 mars 2026 50 min★ ★ ★ ★ ☆ 4/5ObsidianClaude CodeSecond Cerveau
