3 ms·That's Event-B (minus the formal side) with LLMby Davidbrcz 11mo agoThat's Event-B (minus the formal side) with LLM