VTrelat/BARReL

A modern backend to Atelier B, in Lean

GitHub repository with 5 stars and 0 forks.

Language: Lean

Topics: atelier-b, b-language, lean4, metaprogramming

Open provider repository