Projects search

• Keywords: niezależne certyfikowanie dowodów ×

Change search criteria ↓

Search results

1 project found matching your search criteria:

1. 1. Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

   Principal investigator: dr Karol Pąk

   Uniwersytet w Białymstoku, Instytut Informatyki

   Call: SONATA 10, Panel: ST6