1. Top
  2. lean-datalog
  3. Commits
lean-datalog

Datalog in Lean

Commits at main

  1. 1548dcdd Use semilattice from mathlib Anthony Wang authored at Anthony Wang comitted at
  2. 6aa6f28b Delete old broken code Anthony Wang authored at Anthony Wang comitted at
  3. 8a75514b Add Mathlib Anthony Wang authored at Anthony Wang comitted at
  4. 07768586 Cleanup, wrap long lines Anthony Wang authored at Anthony Wang comitted at
  5. 152dc76e Mutable relations Anthony Wang authored at Anthony Wang comitted at
  6. 03d5ca7d Cleanup Anthony Wang authored at Anthony Wang comitted at
  7. 3ee6ad81 Initial commit Anthony Wang authored at Anthony Wang comitted at