junglefowl-macros (cargo): Macros for type-level mathematical computation.
Keywords: logic|proofs|types|metaprogramming|math