File: lambda36.gold

package info (click to toggle)
haskell-sbv 10.2-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 8,148 kB
  • sloc: haskell: 31,176; makefile: 4
file content (3 lines) | stat: -rw-r--r-- 65 bytes parent folder | download 
1
2
3
 
; user defined axiom: 
(assert (forall ((l1_s0 Bool))
    true))