Versions Packages Information History Related Badges Report

Information for minlog

Package names

  • minlog (5)
  • minlog-git (1)

Versions

  • 195.ff5c8ef (1)
  • 4.0.99.20100221 (1)
  • 1.3.0 (3)
  • 1.2 (1)

Repositories

Categories

  • Development/Java (2)
  • Unspecified (1)
  • dev-java (1)
  • math (1)
  • misc (1)
  • universe/math (1)

Licenses

  • BSD (3)
  • GPL (1)

Summaries

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

Maintainers

Homepages

Downloads