KnowledgeBase.lean - kb - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/KnowledgeBase.lean

blob: a5728c3fbcd5f1da85c87eb9bd7e20a6c102c8c4 (plain) (blame)

-- KnowledgeBase root module (auto-generated by kb)

import Mathematics
import SocietyCulture