GitHub repository: ApollineRodary/Endive
Primary language: Rust
Created: 2023-10-04T13:50:05Z
Description: A proof assistant for the Integrated Project (IP) computer science course at ENS de Lyon