Skip to content
The AI Modelling Lab
The AI Modelling Lab
AIM High!
  • Members
  • Talks
  • Recent Publications
  • Projects
  • News
  • Potential PhD Topics
  • Vacancies

Event categories: Demos

A New Web Interface for the Archive of Formal Proofs

28th February 2020 Jacques Fleuriot
Date: 28th February 2020
Time: 00:00 - 00:00

I will be presenting my developments on a new implementation of the Archive of Formal Proofs. I'll be highlighting the key features of the current interface that have been replicated as well as new features that have been added.
Speaker: Jaydn Goodwin

Continue Reading →

Lab Events

  • Lab meeting

    3rd February 2023  14:00 - 15:00
    Teams

  • Lab meeting @IF 3.02

    10th February 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    24th February 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    10th March 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    24th March 2023  14:00 - 16:00

Some of the AIML Members (Winter 2021)

Digiflow at DemoFest 2019

Copyright © 2023 The AI Modelling Lab