ashasoroushpoor/Interpol_theorem ashasoroushpoor/Interpol_theorem

  • This repository has been archived on 23/Jul/2023
  • Stars
    star
    1
  • Language Coq
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ashasoroushpoor/Interpol_theorem
github

ashasoroushpoor

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

formalized proof of interpolation theorem in various logics using sequent calculus

More Repositories

1

Interpol_theorem_second_approach

Coq
1
star