Testna Spletna učilnica FRI 24/25 (NE UREJAJTE VSEBINE, produkcijska Spletna učilnica FRI 24/25 bo druga instanca)

Section outline

- Izberi aktivnost Vaje 3 (dokazovanje pravilnosti)
  
  Vaje 3 (dokazovanje pravilnosti) Stran
- Izberi aktivnost Rešitve
  
  Rešitve Stran
- Izberi aktivnost Lab works: Hoare logic
  
  Lab works: Hoare logic Stran
- Izberi aktivnost vaje3.md
  
  vaje3.md Datoteka
  
  Naloženo 10/03/24, 23:21
- Izberi aktivnost Rešitve na vajah
  
  Rešitve na vajah Mapa