ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiutree e9458b1a7a19a63aa4c179f9ab20f4d50681c168:

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiu

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiu.gitignore

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuATC/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuAdl/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCASL/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCASL_DL/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCMDL/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCOL/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCSL/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCSMOF/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCoCASL/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCommon/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCommonLogic/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuComorphisms/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuConstraintCASL/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCspCASL/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCspCASLProver/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuDFOL/

a604cbad8e2202147b5c6bb9f2e06ae61162d654Felix Gabriel ManceDMU/

be2439588008221e691321fdf4f75432cfb72878Felix Gabriel ManceDriver/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuExtModal/

b84c87f199dc287d235d7dad6ea344f6912ef531Christian MaederFpl/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuFramework/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuFreeCAD/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuGMP/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuGUI/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHasCASL/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHaskell/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHolLight/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHybrid/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuINSTALL

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuInterfaces/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuIsabelle/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLF/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLogic/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuMMT/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuMakefile

be00381168b3f10192afabbba136fb06d3a9f358Christian MaederMaude/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuModal/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuModifications/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuOMDoc/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuOWL2/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuOmega/

d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel MancePGIP/

d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel MancePLpatt/

d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel ManceProofs/

d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel MancePropositional/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuQBF/

60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceQVTR/

60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceRDF/

60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceREADME

60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceRelationalScheme/

60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceReleaseMakefile

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuServerMakefile

60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceSoftFOL/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuStatic/

9475501a6acf48434052d9e6f4a05ed6681eaaabFrancisc Nicolae BungiuSyntax/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuTHF/

60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceTaxonomy/

60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceTemporal/

60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceToHaskell/

0dd6e7830de0887c9a12356447975a826b3b3db2Christian MaederTopHybrid/

60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceUbuntuMakefile

0dd6e7830de0887c9a12356447975a826b3b3db2Christian MaederVSE/

0dd6e7830de0887c9a12356447975a826b3b3db2Christian Maederatermlib/

60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel Mancedoc/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuideas

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiumagic/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiumini/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiupretty/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuprogramatica

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiusample-ghci-script

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiutest/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiutodo

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuutils/

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuversion_nr

ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiu