Subscribe or Unsubscribe
Information on the AI4FM project
Hide Latest Messages
AI4FM is a project aimed at using AI techniques to learn from human users
how to discharge Proof Obligations that arise in typical formal method applications.
This list will keep people informed of progress.