Thanks to visit codestin.com
Credit goes to github.com

Skip to content
/ formal-phi Public

Formalization of πœ‘-calculus in Agda.

1 star 0 forks Branches Tags Activity
Star

fizruk/formal-phi

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

3 Commits
lean4
lean4
Β 
Β 
.gitignore
.gitignore
Β 
Β 
README.md
README.md
Β 
Β 
phi.agda
phi.agda
Β 
Β 

Repository files navigation

formal-phi

Formalization of πœ‘-calculus in Agda.

About

Formalization of πœ‘-calculus in Agda.

Resources

Readme
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages