snu-sf/sflib

Issues

• To show `<< x : t >>` instead of `<< t >>` in ProofView

  #14 opened 2 years ago by KiJeong-Lim
  0

• compatibility issue for `exploit`

  #13 opened 3 years ago by Hughshine
  4

• keyword collision - guard

  #11 opened 6 years ago by alxest
  0

• is_true 지우기?

  #10 opened 7 years ago by alxest
  0

• guard/sguard

  #9 opened 7 years ago by alxest
  0

• econsby

  #8 opened 7 years ago by alxest
  0

• hpattern 넣기

  #7 opened 7 years ago by alxest
  0

• hide_evars

  #6 opened 7 years ago by alxest
  1

• << >> 대신 다른 syntax 사용?

  #5 opened 7 years ago by alxest
  1

• guard 이름

  #4 opened 8 years ago by alxest
  0

• better behave for bool, andb & orb

  #3 opened 8 years ago by jeehoonkang
  0

• More example

  #1 opened 9 years ago by jeehoonkang
  0