Showing 1 - 1 results of 1 for search 'Fukala, Viktor', query time: 0.02s Refine Results
  1. 1
    Live Verification in an Interactive Proof Assistant

    Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

    Published 2024
    Get full text
    Article

Search Tools: