dmitry-vlasov/math

Stars
1
Language Objective-C++
Created over 8 years ago
Updated over 8 years ago

dmitry-vlasov/math

dmitry-vlasov

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

Sources for matematics (based on set.mm from Metamath: https://github.com/metamath/set.mm)

russell

An implementation of the Russell logical framework

sfl

Simple Functional Language - for compiler learning purpose.

mdl-old

mdl is an implementation of the Russell logical framework

russell-flow

Russell implementation with flow

kate-russell

Russell IDE as a kate editor plugin

flow_fol

FOL automated deduction algorithms in flow9

del

DEL stands for 'Decomposition in description logic EL'