Commit graph

  • 5481993531 update for NoStarIsType main rhiannon morris 2025-01-04 15:42:49 +01:00
  • 617598f09f Make singleton witnesses more accurate and make induction axioms stronger mniip 2018-07-11 21:31:53 +03:00
  • b3c104ebef Enhance the documentation mniip 2018-07-11 12:49:49 +03:00
  • 6a7dc56b06 Indicate API stability and trustworthiness of the used unsafeCoerces mniip 2018-07-11 10:53:02 +03:00
  • 2b62656721 Initial commit mniip 2017-12-14 12:12:21 +03:00