Skip to content
/ FormulaProofDerivationChecker Public

Yaroslavl Demidov State University/Math/MLiTA. 5sem. Belov.

0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

timatet/FormulaProofDerivationChecker

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
FormulaProofDerivationChecker
FormulaProofDerivationChecker
 
 
.gitattributes
.gitattributes
 
 
.gitignore
.gitignore
 
 
FormulaProofDerivationChecker.sln
FormulaProofDerivationChecker.sln
 
 

About

Yaroslavl Demidov State University/Math/MLiTA. 5sem. Belov.

Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases 1

v1.0 Latest
Dec 15, 2021

Packages

 
 
 

Contributors

Languages