×

Pesca

swMATH ID: 13664
Software Authors: Aarne Ranta
Description: PESCA = Proof Editor for Sequent Calculus: Pesca is a program that helps in the construction of proofs in sequent calculus. It works both as a proof editor and as an automatic theorem prover. Proofs constructed in Pesca can both be seen on the terminal and printed into LaTeX files. The user of Pesca can choose among different versions of classical and intuitionistic proposition and predicate calculi, and extend them by systems of nonlogical axioms. The implementation of Pesca is written in the functional programming language Haskell.
Homepage: http://hackage.haskell.org/package/pesca
Dependencies: Haskell
Related Software: MiniML; Isabelle; TABLEAUX; Coq; Maude; Hyperproof; Alms; semprop; HOL; ML; Nominal Isabelle; Psyche; LPL software; Archive Formal Proofs; cubicaltt; Z; Minlog; Nuprl; APS-1; DEMO
Cited in: 165 Publications
all top 5

Cited by 155 Authors

19 Negri, Sara
10 Indrzejczak, Andrzej
7 Gratzl, Norbert
7 von Plato, Jan
6 Maffezioli, Paolo
5 Leszczyńska-Jasion, Dorota
4 Naibo, Alberto
4 Orlandelli, Eugenio
4 Sano, Katsuhiko
4 Schroeder-Heister, Peter Joseph
3 Bimbó, Katalin
3 Borisavljević, Mirjana
3 Chlebowski, Szymon
3 Dyckhoff, Roy
3 Fjellstad, Andreas
3 Goré, Rajeev Prabhakar
3 Hakli, Raul
3 Pambuccian, Victor V.
3 Parlamento, Franco
3 Pavlović, Edi
3 Previale, Flavio
3 Read, Stephen
3 Roy, Olivier
3 Takemura, Ryo
3 Wansing, Heinrich Theodor
3 Wessel, Daniel
2 Buss, Samuel R.
2 Dowek, Gilles
2 Drobyshevich, Sergeĭ Andreevich
2 Francez, Nissim
2 Hou, Zhe
2 Iemhoff, Rosalie
2 Kurokawa, Hidenori
2 Lellmann, Björn
2 Ma, Minghui
2 Milne, Peter
2 Murzi, Julien
2 Nomura, Shoshin
2 Olarte, Carlos
2 Pattinson, Dirk
2 Petrolo, Mattia
2 Petrukhin, Yaroslav Igorevich
2 Rasga, João
2 Rosenblatt, Lucas Daniel
2 Schuster, Peter Michael
2 Shangin, Vasily
2 Standefer, Shawn
2 Strannegård, Claes
2 Tiu, Alwen Fernanto
2 Wiśniewski, Andrzej
1 Alama, Jesse
1 Alonderis, Romas
1 Antonsen, Roger
1 Arndt, Michael
1 Avron, Arnon
1 Ayhan, Sara
1 Beckmann, Arnold
1 Bezhanishvili, Nick
1 Bílková, Marta
1 Bobzien, Susanne
1 Carrara, Massimiliano
1 Cheney, James
1 Chiarugi, Davide
1 Christoff, Zoé
1 Clouston, Ranald A.
1 Cordes, Moritz
1 Da Ré, Bruno
1 D’Agostino, Marcello
1 Das, Anupam
1 Dawson, Jeremy E.
1 de Campos Sanz, Wagner
1 del Carmen González Huesca, Lourdes
1 Díaz-Caro, Alejandro
1 Dong, Huimin
1 Dunn, Jon Michael
1 Englander, Cecilia
1 Engström, Fredrik
1 Espírito Santo, José Carlos
1 Falaschi, Moreno
1 Fellin, Giulio
1 Fischer, Martin J.
1 French, Rohan
1 Gabbay, Dov M.
1 Gärling, Tommy
1 Geuvers, Jan Herman
1 Gherardi, Guido
1 Ghilardi, Silvio
1 Gilbert, David Robert
1 Girlando, Marianna
1 Golińska-Pilarek, Joanna
1 Haeusler, Edward Hermann
1 Hatano, Ryo
1 Hedqvist, David
1 Hermith, Diana
1 Hurkens, Tonny
1 Ishihara, Hajime
1 Jacinto, Bruno
1 Jukiewicz, Marcin
1 Kamide, Norihiro
1 Kanckos, Annika
...and 55 more Authors

Citations by Year