Pith. sign in

Materials

Materials modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.

152 modules · 585 thm/lemma · 6287 lines
module thm lemma def lines papers
Materials.AdditiveManufacturingDefectsFromConfigDim 1 0 1 35 -
Materials.AnisotropicEtchingFromJCost 4 0 3 37 -
Materials.BCSPairingFromPhiLadder 4 0 3 84 -
Materials.BCSSuperconductorFromJCost 3 0 1 51 -
Materials.BatteryChemistryFromPhiLadder 3 0 2 51 -
Materials.CarbonNanotubeFromPhiLadder 4 0 3 37 -
Materials.CeramicClassesFromConfigDim 1 0 1 32 -
Materials.CeramicToughnessFromJCost 4 0 3 43 -
Materials.CoercivityFromPhiLadder 4 0 3 37 -
Materials.CompositeFailureModesFromConfigDim 1 0 1 35 -
Materials.Corrosion5 4 0 3 36 -
Materials.CorrosionMechanismsFromConfigDim 1 0 1 34 -
Materials.CorrosionRateFromJCost 4 0 3 37 -
Materials.CreepFromPhiLadder 4 0 3 51 -
Materials.CreepRegimesFromConfigDim 3 0 2 51 -
Materials.Creep_Rate2FromJCost 4 0 3 36 -
Materials.Creep_Rate_RS 4 0 3 36 -
Materials.Crystal_Structure2_FromConfigDim 4 0 3 36 -
Materials.Crystal_Twin3_FromJCost 4 0 3 36 -
Materials.Debye_Temperature_RS 4 0 3 36 -
Materials.Demagnetization_Factor3_FromJCost 4 0 3 36 -
Materials.Dielectric_Breakdown_FromJCost 4 0 3 37 -
Materials.DislocationDensityFromJCost 4 0 3 47 -
Materials.Domain_Wall_Width2 4 0 3 36 -
Materials.ElectricalConductanceFromJCost 4 0 3 37 -
Materials.Electrical_Resistance3_FromJCost 4 0 3 36 -
Materials.Electroplating3_FromJCost 4 0 3 36 -
Materials.Electrospun_Fiber_FromJCost 4 0 3 36 -
Materials.FatigueFractureMechanicsFromJCost 1 0 1 38 -
Materials.FatigueLifeFromPhiLadder 4 0 3 51 -
Materials.FatigueThresholdFromJCost 6 0 5 103 -
Materials.FerroelectricPiezoFromJCost 4 0 3 47 -
Materials.FerromagneticDomainFromJCost 4 0 3 37 -
Materials.Fiber_Reinforcement3_FromJCost 4 0 3 36 -
Materials.FractureMechanicsFromJCost 7 0 4 91 -
Materials.FractureToughnessFromJCost 1 0 2 47 -
Materials.Fracture_Toughness_RS 4 0 3 36 -
Materials.FuseFilament3FromJCost 4 0 3 36 -
Materials.GlassTransitionFromJCost 3 0 2 50 -
Materials.GlassTransitionTempFromJCost 4 0 3 47 -
Materials.Grain5 4 0 3 36 -
Materials.GrainBoundaryEnergyFromJCost 4 0 3 37 -
Materials.Grain_Boundary2_FromJCost 4 0 3 36 -
Materials.Grain_Boundary_Energy_RS 4 0 3 36 -
Materials.Grain_Growth3_FromJCost 4 0 3 36 -
Materials.GrapheneElectronicFromJCost 4 0 3 36 -
Materials.Hardness3_FromPhiLadder 4 0 3 36 -
Materials.Hardness_Diamond_RS 4 0 3 36 -
Materials.Hardness_Mohs_RS 4 0 3 36 -
Materials.HighTcSuperconductorFromPhiLadder 3 0 2 56 -
Materials.HydrideSCOptimization 6 0 6 192 -
Materials.IonChannelConductance_FromJCost 4 0 3 37 -
Materials.Lattice_Parameter_FCC_RS 4 0 3 36 -
Materials.Luminescence3_FromPhiLadder 4 0 3 36 -
Materials.MRI_Contrast_FromJCost 4 0 3 37 -
Materials.Magnetic_Anisotropy3_FromJCost 4 0 3 36 -
Materials.MagnetismTypesFromConfigDim 1 0 1 33 -
Materials.MagnetizationSaturationFromJCost 4 0 3 37 -
Materials.Magnetocaloric2_FromJCost 4 0 3 36 -
Materials.MagnetocaloricFromJCost 4 0 3 37 -
Materials.Magnetoelectric3_FromJCost 4 0 3 36 -
Materials.Magnetostriction3_FromJCost 4 0 3 36 -
Materials.Melting_Point_Iron_RS 4 0 3 36 -
Materials.MemristorSwitchingFromJCost 4 0 3 37 -
Materials.MetamaterialBandGapFromPhiLadder 4 0 3 77 -
Materials.Nanocomposite3FromJCost 4 0 3 36 -
Materials.NanoparticleSizeFromJCost 4 0 3 37 -
Materials.NanoscaleFrictionFromJCost 4 0 3 37 -
Materials.PhaseChangeMemoryFromJCost 4 0 3 43 -
Materials.PhiLadderPhononResonance 6 0 3 121 -
Materials.Phonon_Lifetime_FromJCost 4 0 3 36 -
Materials.PhotoresistResolution_FromJCost 4 0 3 37 -
Materials.Photovoltaic2_Recomb 4 0 3 36 -
Materials.PhotovoltaicEfficiencyFromJCost 4 0 3 51 -
Materials.Piezo_Coefficient_RS 4 0 3 36 -
Materials.Piezo_PVDF_FromJCost 4 0 3 36 -
Materials.Piezo_Thermal_Effect 4 0 3 36 -
Materials.Piezoelectric3_FromConfigDim 4 0 3 36 -
Materials.PiezoelectricConstantFromJCost 4 0 3 37 -
Materials.Plasticity5 4 0 3 36 -
Materials.Polymer_Blend3_FromJCost 4 0 3 36 -
Materials.Polymer_Entanglement2 4 0 3 36 -
Materials.Polymorphism3_FromJCost 4 0 3 36 -
Materials.PorosityPermeabilityFromJCost 4 0 3 47 -
Materials.Porosity_WPCFrom_JCost 4 0 3 37 -
Materials.RS_MAT_Structural_001 4 0 3 36 -
Materials.RS_MAT_Structural_002 4 0 3 36 -
Materials.RS_MAT_Structural_003 4 0 3 36 -
Materials.RS_MAT_Structural_004 4 0 3 36 -
Materials.RS_MAT_Structural_005 4 0 3 36 -
Materials.RS_MAT_Structural_006 4 0 3 36 -
Materials.RS_MAT_Structural_007 4 0 3 36 -
Materials.RS_MAT_Structural_008 4 0 3 36 -
Materials.RS_MAT_Structural_009 4 0 3 36 -
Materials.RS_MAT_Structural_010 4 0 3 36 -
Materials.RS_Matl_Module_001 4 0 3 36 -
Materials.RS_Matl_Module_002 4 0 3 36 -
Materials.RS_Matl_Module_003 4 0 3 36 -
Materials.RS_Matl_Module_004 4 0 3 36 -
Materials.RS_Matl_Module_005 4 0 3 36 -
Materials.RS_Matl_Module_006 4 0 3 36 -
Materials.RS_Matl_Module_007 4 0 3 36 -
Materials.RS_Matl_Module_008 4 0 3 36 -
Materials.RS_Matl_Module_009 4 0 3 36 -
Materials.RS_Matl_Module_010 4 0 3 36 -
Materials.RS_Matl_Module_011 4 0 3 36 -
Materials.RS_Matl_Module_012 4 0 3 36 -
Materials.RadiationHardeningFromJCost 4 0 3 37 -
Materials.Radiation_Damage3_FromJCost 4 0 3 36 -
Materials.Radiation_Effect_FromJCost 4 0 3 36 -
Materials.RoomTSuperconductorCandidate 4 0 3 84 -
Materials.Semiconductor3_Device_FromJCost 4 0 3 36 -
Materials.SemiconductorDopantTypesFromConfigDim 1 0 1 35 -
Materials.ShapeMemoryAlloyFromJCost 4 0 3 37 -
Materials.SinteringTemperatureFromPhiLadder 4 0 3 37 -
Materials.SolarCellEfficiency_FromJCost 4 0 3 37 -
Materials.Solar_EfficiencyRecord_FromJCost 4 0 3 36 -
Materials.Specific_Heat_Water_RS 4 0 3 36 -
Materials.SpintronicsGMR2FromJCost 4 0 3 36 -
Materials.SpintronicsMagnetoresistanceFromJCost 4 0 3 37 -
Materials.SputterYieldFromJCost 4 0 3 36 -
Materials.Structural_Materials_mod33 4 0 3 36 -
Materials.Structural_Materials_mod43 4 0 3 36 -
Materials.Structural_Materials_mod53 4 0 3 36 -
Materials.Structural_Materials_mod63 4 0 3 36 -
Materials.Structural_Materials_mod73 4 0 3 36 -
Materials.Structural_Materials_mod83 4 0 3 36 -
Materials.Structural_Materials_mod93 4 0 3 36 -
Materials.SuperalloyFromPhiLadder 4 0 3 37 -
Materials.SuperconductingGapFromJCost 4 0 3 47 -
Materials.SuperconductorGap2FromJCost 4 0 3 36 -
Materials.SuperconductorVortexFromJCost 2 0 1 42 -
Materials.Surface_Energy_RS 4 0 3 36 -
Materials.Surface_Passivation3_FromJCost 4 0 3 36 -
Materials.ThermalConductivityFromPhiLadder 4 0 3 47 -
Materials.ThermalConductivityRegimesFromPhiLadder 3 0 2 51 -
Materials.ThermalExpCoeffMetals 4 0 3 37 -
Materials.ThermalExpansionFromPhiLadder 4 0 3 51 -
Materials.Thermal_Conductivity3_FromJCost 4 0 3 36 -
Materials.Thermal_Expansion_RS 4 0 3 36 -
Materials.Thermal_Shock3_FromJCost 4 0 3 36 -
Materials.ThermocoupleEMFFromJCost 4 0 3 47 -
Materials.ThermoelectricFigure_Merit 4 0 3 36 -
Materials.Thermoelectric_ZT3_FromJCost 4 0 3 36 -
Materials.TopologicalInsulator3FromJCost 4 0 3 36 -
Materials.TrainedNeuralNetworkFromJCost 4 0 3 37 -
Materials.Wettability_Angle2 4 0 3 36 -
Materials.WettingContactAngleFromJCost 4 0 3 47 -
Materials.WorkHardeningFromJCost 4 0 3 47 -
Materials.YieldStrengthFromPhiLadder 4 0 3 51 -
Materials.Yield_Stress3_FromJCost 4 0 3 36 -
Materials.Young_Modulus_Steel_RS 4 0 3 36 -

full source mirrored from github.com/jonwashburn/shape-of-logic