Versions Packages Information History Related Badges Report

Information for minlog

Summaries

  • Interactive proof system based on first order natural deduction calculus. (1)
  • Minimal overhead Java logging (4)

Maintainers

Homepages

Downloads