/Fuzzy-DL

Formalizing ALC (and someday Fuzzy ALC) in Lean

Primary LanguageLean

This repository is not active